Recent advances on formal methods for safety and security of cyber-physical systems
- 2 November 2020
- journal article
- letter
- Published by Springer Science and Business Media LLC in Control Theory and Technology
- Vol. 18 (4), 459-461
- https://doi.org/10.1007/s11768-020-00008-w
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Compositional Abstraction and Safety Synthesis using Overlapping Symbolic ModelsIEEE Transactions on Automatic Control, 2017
- Formal Methods for Discrete-Time Dynamical SystemsPublished by Springer Science and Business Media LLC ,2017
- Synthesis of Maximally-Permissive Supervisors for the Range Control ProblemIEEE Transactions on Automatic Control, 2016
- Control Barrier Function Based Quadratic Programs for Safety Critical SystemsIEEE Transactions on Automatic Control, 2016
- Feedback Refinement Relations for the Synthesis of Symbolic ControllersIEEE Transactions on Automatic Control, 2016
- Supervisory control and reactive synthesis: a comparative introductionDiscrete Event Dynamic Systems, 2016
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event SystemsIEEE Transactions on Automatic Control, 2015
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event SystemsIEEE Transactions on Automatic Control, 2015
- Synthesis of Reactive(1) designsJournal of Computer and System Sciences, 2012
- Symbolic Models for Nonlinear Control Systems Without Stability AssumptionsIEEE Transactions on Automatic Control, 2011