Control of infinite symbolic transition systems under partial observation (original) (raw)
Related papers
Supervisory control of infinite symbolic systems using abstract interpretation
2005
Symbolic Computation of Reduced Guards in Supervisory Control
IEEE Transactions on Automation Science and Engineering, 2011
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
Alessandro Borri, Giordano Pola
IEEE Transactions on Automatic Control, 2000
Decentralized control of infinite systems
Supervision of Infinite Behavior of Discrete-Event Systems
SIAM Journal on Control and Optimization, 1994
Integrated symbolic control design for nonlinear systems with infinite states specifications
2010
Alessandro Borri, Giordano Pola
49th IEEE Conference on Decision and Control (CDC), 2010
Symbolic Supervisory Control of Distributed Systems With Communications
IEEE Transactions on Automatic Control, 2000
Efficient Safety Control Synthesis with Imperfect State Information
2020 59th IEEE Conference on Decision and Control (CDC), 2020
Symbolic models for linear control systems with disturbances
2007 46th IEEE Conference on Decision and Control, 2007
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems, 2012
Discrete Event Dynamic Systems, 2012
Symbolic Observer-Based Controller for Uncertain Nonlinear Systems
IEEE Control Systems Letters, 2021
A Framework for Output-Feedback Symbolic Control
Cornell University - arXiv, 2020
Adaptive Symbolic Control for Finite-State Transition Systems With Grammatical Inference
IEEE Transactions on Automatic Control, 2000
Diagnosability of Input Output Symbolic Transition Systems
2009 First International Conference on Advances in System Testing and Validation Lifecycle, 2009
Symbolic Control of Hybrid Systems from Signal Temporal Logic Specifications
Guidance, Navigation and Control
Computing abstractions of infinite state systems compositionally and automatically
Lecture Notes in Computer Science, 1998
Algebraic synthesis of transition conditions of a state model
Jean-jacques Lesage, Jean-marc Roussel
2008 9th International Workshop on Discrete Event Systems, 2008
Synthesis of supervisors for parameterized and infinity non-regular discrete event systems
1st IFAC Workshop on Dependable Control of Discrete Systems (2007), 2007
Invisible formal methods for embedded control systems
Proceedings of the IEEE, 2003
State-vector transition model applied to supervisory control
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012
Symbolic Model Checking of Infinite-State Systems Using Narrowing
2007
Symbolic models for nonlinear control systems affected by disturbances
Maria Domenica (Marika) Di Benedetto
International Journal of Control, 2012
Supervisory control of extended finite automata using transition projection
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012
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
Approximating Event System Abstractions by Covering Their States and Transitions
Perspectives of System Informatics, 2018