Dynamical properties of hybrid systems simulators

Ricardo G. Sanfelice; Andrew R. Teel

doi:10.1016/j.automatica.2009.09.026

journal article Feb 01, 2010

Dynamical properties of hybrid systems simulators

Ricardo G. Sanfelice Andrew R. Teel

Automatica Vol. 46 No. 2 pp. 239-248 · Elsevier BV

View at Publisher Save 10.1016/j.automatica.2009.09.026

Topics

No keywords indexed for this article. Browse by subject →

References

34

[1]

Abate, A., Ames, A. D., & Sastry, S. S. (2006). Error bounds based stochastic approximations and simulations of hybrid dynamical systems. In Proc. 25th American control conference (pp. 4742–4747) 10.1109/acc.2006.1657470

[2]

Alur "Hierarchical modeling and analysis of embedded systems" Proceedings of the IEEE (2003) 10.1109/jproc.2002.805817

[3]

Ascher (1998)

[4]

Aubin (1984)

[5]

Aubin "Impulse differential inclusions: A viability approach to hybrid systems" IEEE Transactions on Automatic Control (2002) 10.1109/9.981719

[6]

Cai "Relaxation theorems for hybrid inclusions" Set-Valued Analysis (2008) 10.1007/s11228-007-0067-3

[7]

Cai "Smooth Lyapunov functions for hybrid systems. Part II: (Pre)Asymptotically stable compact sets" IEEE Transactions on Automatic Control (2008) 10.1109/tac.2008.919257

[8]

Camlibel "Consistency of a time-stepping method for a class of piecewise-linear networks" IEEE Transactions on Circuits and Systems. I (2002) 10.1109/81.989170

[9]

Collins, P. (2004). A trajectory-space approach to hybrid systems. In Proc. 16th MTNS

[10]

Dontchev "Difference methods for differential inclusions: A survey" SIAM Review (1992) 10.1137/1034050

[11]

Elmqvist, H., Mattsson, S. E., & Otter, M. (1998). Modelica: The new object-oriented modeling language. In Proc. of 12th European simulation multiconference

[12]

Esposito, J. M., Kumar, V., & Pappas, G. J. (2001). Accurate event detection for simulating hybrid systems. In Hybrid systems: Computation and control: 4th international workshop (pp. 204–217) 10.1007/3-540-45351-2_19

[13]

Filippov "Classical solutions of differential equations with multi-valued right-hand side" SIAM Journal on Control (1967) 10.1137/0305040

[14]

Goebel, R., Hespanha, J. P., Teel, A. R., Cai, C., & Sanfelice, R. G. (2004). Hybrid systems: Generalized solutions and robust stability. In Proc. 6th IFAC symposium in nonlinear control systems (pp. 1–12) 10.1016/s1474-6670(17)31194-1

[15]

Goebel "Hybrid dynamical systems" IEEE Control Systems Magazine (2009) 10.1109/mcs.2008.931718

[16]

Goebel "Solutions to hybrid inclusions via set and graphical convergence with stability theory applications" Automatica (2006) 10.1016/j.automatica.2005.12.019

[17]

Hairer "Algebraically stable and implementable Runge–Kutta methods of high order" SIAM Journal on Numerical Analysis (1981) 10.1137/0718074

[18]

Humphries "Runge–Kutta methods for dissipative and gradient dynamical systems" SIAM Journal on Numerical Analysis (1994) 10.1137/0731075

[19]

Johansson, K. H., Lygeros, J., Sastry, S., & Egerstedt, M. (1999). Simulation of Zeno hybrid automata. In Proc. 38th IEEE conference on decision and control. Vol. 4 (pp. 3538–3543) 10.1109/cdc.1999.827900

[20]

Kofman "Discrete event simulation of hybrid systems" SIAM Journal on Scientific Computing (2004) 10.1137/s1064827502418379

[21]

Lee, E. A., & Zheng, H. (2005). Operational semantics for hybrid systems. In Hybrid systems: Computation and control: 8th international workshop (pp. 25–53) 10.1007/978-3-540-31954-2_2

[22]

Liu "A component-based approach to modeling and simulating mixed-signal and hybrid systems" ACM Transactions on Modeling and Computer Simulation (2002) 10.1145/643120.643125

[23]

Liu, J., Liu, X., Koo, T. J., Sinopoli, B., Sastry, S., & Lee, E. A. (1999). A hierarchical hybrid system model and its simulation. InProc. 38th IEEE conference on decision and control. Vol. 4 (pp. 3508–3513)

[24]

Lygeros "Dynamical properties of hybrid automata" IEEE Transactions on Automatic Control (2003) 10.1109/tac.2002.806650

[25]

Lygeros "Controllers for reachability specifications for hybrid systems" Automatica (1999) 10.1016/s0005-1098(98)00193-9

[26]

Michel "Towards a stability theory of general hybrid dynamical systems" Automatica (1999) 10.1016/s0005-1098(98)00165-4

[27]

Mosterman "A hybrid modeling and simulation methodology for dynamic physical systems" Simulation (2002) 10.1177/0037549702078001197

[28]

Rockafellar (1998)

[29]

Sanfelice "Invariance principles for hybrid systems with connections to detectability and asymptotic stability" IEEE Transactions on Automatic Control (2007) 10.1109/tac.2007.910684

[30]

Sanfelice "Generalized solutions to hybrid dynamical systems" ESAIM: Control, Optimisation and Calculus of Variations (2008) 10.1051/cocv:2008008

[31]

Sprinkle, J., Ames, A. D., Pinto, A., Zheng, H., & Sastry, S. S. (2005). On the partitioning of syntax and semantics for hybrid systems tools. In Proc. 44th IEEE conference on decision and control and European control conference (pp. 4694–4699) 10.1109/cdc.2005.1582903

[32]

Stuart (1996)

[33]

Tavernini "Differential automata and their discrete simulators" Nonlinear Analysis (1987) 10.1016/0362-546x(87)90034-4

[34]

Torrisi "HYSDEL—A tool for generating computational hybrid models for analysis and synthesis problems" IEEE Transactions on Control Systems Technology (2004) 10.1109/tcst.2004.824309

Metrics

47

Citations

34

References

Details

Published: Feb 01, 2010
Vol/Issue: 46(2)
Pages: 239-248
License: View

Authors

Cite This Article

Ricardo G. Sanfelice, Andrew R. Teel (2010). Dynamical properties of hybrid systems simulators. Automatica, 46(2), 239-248. https://doi.org/10.1016/j.automatica.2009.09.026

Dynamical properties of hybrid systems simulators

You May Also Like