Symbolic Models for Nonlinear Control Systems Without Stability Assumptions (original) (raw)
Related papers
Alessandro Borri, Giordano Pola
49th IEEE Conference on Decision and Control (CDC), 2010
Integrated symbolic control design for nonlinear systems with infinite states specifications
2010
Integrated Design of Symbolic Controllers for Nonlinear Systems
Alessandro Borri, Giordano Pola
IEEE Transactions on Automatic Control, 2012
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems, 2012
Symbolic models for nonlinear control systems affected by disturbances
Maria Domenica (Marika) Di Benedetto
International Journal of Control, 2012
Symbolic models for linear control systems with disturbances
2007 46th IEEE Conference on Decision and Control, 2007
Approximately bisimilar symbolic models for nonlinear control systems
Automatica, 2008
Finite-Valued Control Law Synthesis for Nonlinear Uncertain Systems
IFAC Proceedings Volumes, 2002
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Tools and Algorithms for the Construction and Analysis of Systems, 2019
Symbolic Observer-Based Controller for Uncertain Nonlinear Systems
IEEE Control Systems Letters, 2021
Decidable Controller Synthesis for Classes of Linear Systems
Lecture Notes in Computer Science, 2000
Symbolic Computation For The Analysis AndSynthesis Of Nonlinear Control Systems
WIT transactions on engineering sciences, 1999
From discrete specifications to hybrid control
42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475), 2003
Consistent abstractions of affine control systems
IEEE Transactions on Automatic Control, 2002
A Framework for Output-Feedback Symbolic Control
Cornell University - arXiv, 2020
Semidecidable controller synthesis for classes of linear hybrid systems
2002
Control of infinite symbolic transition systems under partial observation
2009
Towards continuous abstractions of dynamical and control systems
Lecture Notes in Computer Science, 1997
Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001
IEEE Transactions on Automatic Control, 2000
Model based design of control software for nonlinear discrete time hybrid systems
Symbolic control for underactuated differentially flat systems
2006
A symbolic model approach to the digital control of nonlinear time-delay systems
Maria Domenica (Marika) Di Benedetto
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference, 2009
Hybrid Control Synthesis for Eventuality Specifications Using Level Set Methods
International Journal of Control, 2004
Fully symbolic-based technique for solving complex state-space control systems
International Journal of Electrical and Computer Engineering (IJECE), 2021
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Lecture Notes in Computer Science, 2007
Symbolic Control of Hybrid Systems from Signal Temporal Logic Specifications
Guidance, Navigation and Control