Symbolic models for networks of discrete-time nonlinear control systems
暂无分享,去创建一个
Maria Domenica Di Benedetto | Giordano Pola | Pierdomenico Pepe | P. Pepe | M. D. Benedetto | G. Pola
[1] Andrzej Lingas,et al. Automata, Languages and Programming , 1993, Lecture Notes in Computer Science.
[2] Eduardo Sontag. Smooth stabilization implies coprime factorization , 1989, IEEE Transactions on Automatic Control.
[3] Gunther Reissig. Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems , 2009, HSCC.
[4] Jun-ichi Imura,et al. Bisimilar Finite Abstractions of Interconnected Systems , 2008, HSCC.
[5] Eduardo Sontag,et al. Input-to-state stability for discrete-time nonlinear systems , 1999, at - Automatisierungstechnik.
[6] Paulo Tabuada,et al. Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..
[7] H. Ito,et al. On a small gain theorem for ISS networks in dissipative Lyapunov form , 2009, ECC.
[8] Jan H. van Schuppen,et al. Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.
[9] Zhong-Ping Jiang,et al. Small-gain theorem for ISS systems and applications , 1994, Math. Control. Signals Syst..
[10] Antoine Girard,et al. Approximate Bisimulation: A Bridge Between Computer Science and Control Theory , 2011, Eur. J. Control.
[11] Jörg Raisch,et al. Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations , 2002, Discret. Event Dyn. Syst..
[12] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[13] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[14] David Angeli,et al. A Lyapunov approach to incremental stability properties , 2002, IEEE Trans. Autom. Control..
[15] Paulo Tabuada,et al. Symbolic models for nonlinear time-delay systems using approximate bisimulations , 2010, Syst. Control. Lett..
[16] P. Caines,et al. Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..
[17] P.J. Antsaklis,et al. Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.
[18] Antoine Girard,et al. Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.
[19] S. Shankar Sastry,et al. O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..
[20] Rajeev Alur,et al. Model checking of hierarchical state machines , 1998, TOPL.
[21] Manuel Mazo,et al. Symbolic Models for Nonlinear Control Systems Without Stability Assumptions , 2010, IEEE Transactions on Automatic Control.
[22] O. Junge,et al. A set oriented approach to global optimal control , 2004 .
[23] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[24] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[25] Paulo Tabuada,et al. Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, IEEE Transactions on Automatic Control.
[26] Calin Belta,et al. Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.
[27] George J. Pappas. LINEAR TIME LOGIC CONTROL OF LINEAR SYSTEMS , 2004 .
[28] Paulo Tabuada,et al. Verification and Control of Hybrid Systems , 2009 .
[29] Thomas Brihaye,et al. On the expressiveness and decidability of o-minimal hybrid systems , 2005, J. Complex..
[30] Jan Lunze,et al. A discrete-event model of asynchronous quantised systems , 2002, Autom..
[31] Antonio Bicchi,et al. On the reachability of quantized control systems , 2002, IEEE Trans. Autom. Control..