Differential automata and their discrete simulators
Non-Linear Analysis
Runge-Kutta methods for dissipative and gradient dynamical systems
SIAM Journal on Numerical Analysis
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Discrete Event Simulation of Hybrid Systems
SIAM Journal on Scientific Computing
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Towards a stability theory of general hybrid dynamical systems
Automatica (Journal of IFAC)
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
Automatica (Journal of IFAC)
A toolbox for simulation of hybrid systems in matlab/simulink: hybrid equations (HyEQ) toolbox
Proceedings of the 16th international conference on Hybrid systems: computation and control
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
Hi-index | 22.14 |
This paper analyzes the dynamical properties of a class of hybrid systems simulators. A hybrid system is a dynamical system with a state that can both flow and jump. Its simulator attempts to generate its solutions approximately. The paper presents mild regularity conditions on the hybrid system and its simulator to guarantee that simulated solutions are close to actual solutions on compact (hybrid) time intervals, and that asymptotically stable compact sets are preserved, in a semiglobal practical sense, under simulation. In fact, it is established that asymptotically stable compact sets are continuous in the integration step size parameter of the simulator; that is, as the step size of the simulator converges to zero, the asymptotically stable set observed in simulations approaches the asymptotically stable compact set of the true hybrid system. Examples are used to illustrate concepts and results.