THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
From MaRDI portal
Publication:4781425
DOI10.1080/01969720050143175zbMath1011.93031OpenAlexW2150884228MaRDI QIDQ4781425
H. Praehofer, Hessam S. Sarjoughian, Bernard P. Zeigler
Publication date: 21 January 2003
Published in: Cybernetics and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01969720050143175
modelingsimulationquantized systemsdiscrete event modelperceiving systems in discrete event termssensory characteristics
Related Items (40)
HYST ⋮ ProbReach ⋮ Combined discrete event and discrete time simulation framework and its application to the block erection process in shipbuilding ⋮ Qualitative and quantitative integrated modeling for stochastic simulation and optimization ⋮ Implementing biological hybrid systems: allowing composition and avoiding stiffness ⋮ A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars ⋮ Reach-avoid problems with time-varying dynamics, targets and constraints ⋮ An improved algorithm for robust safety analysis of sampled data systems ⋮ What's decidable about recursive hybrid automata? ⋮ Bounded-rate multi-mode systems based motion planning ⋮ A sufficient condition for the boundedness of matrix products accepted by an automaton ⋮ Efficient finite abstraction of mixed monotone systems ⋮ Compositional construction of approximate abstractions ⋮ Computing bisimulation functions using SOS optimization and δ -decidability over the reals ⋮ Probabilistic diagnosability of hybrid systems ⋮ Dynamic scheduling for networked control systems ⋮ Closed loop analysis of control command software ⋮ Real-time control under clock offsets between sensors and controllers ⋮ A delta-sampling verification theorem for discrete-time, possibly discontinuous systems ⋮ Eliminating spurious transitions in reachability with support functions ⋮ Finite state approximation for verification of partially observable stochastic hybrid systems ⋮ Statistical verification of dynamical systems using set oriented methods ⋮ Requirements for hybrid cosimulation standards ⋮ SpaTeL ⋮ Computing the Skorokhod distance between polygonal traces ⋮ First steps toward formal controller synthesis for bipedal robots ⋮ Vulnerability analysis of dynamical power networks to stochastic link failure attacks ⋮ Temporal logic motion planning using POMDPs with parity objectives ⋮ Reactive synthesis from signal temporal logic specifications ⋮ Estimator-based reactive synthesis under incomplete information ⋮ Cross-entropy temporal logic motion planning ⋮ Stability and stabilization of polynomial dynamical systems using Bernstein polynomials ⋮ Dynamical Symmetries and Model Validation ⋮ On the stability and performance of discrete event methods for simulating continuous systems ⋮ Simulating complex systems and processes in LabVIEW ⋮ A Federated Approach to Parallel and Distributed Simulation of Complex Systems ⋮ Systems Movement: Autobiographical Retrospectives ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games ⋮ Examining a Bayesian Approach to Personalizing Context Awareness in Ubiquitous Computing Environments ⋮ Efficient Flattening Algorithm for Hierarchical and Dynamic Structure Discrete Event Models
This page was built for publication: THEORY OF QUANTIZED SYSTEMS: DEVS SIMULATION OF PERCEIVING AGENTS
