Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Modular feedback logic for discrete event systems
SIAM Journal on Control and Optimization
Communication and Concurrency
Games for synthesis of controllers with partial observation
Theoretical Computer Science - Logic and complexity in computer science
Approximately bisimilar symbolic models for nonlinear control systems
Automatica (Journal of IFAC)
Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
SIAM Journal on Control and Optimization
Verification and Control of Hybrid Systems: A Symbolic Approach
Verification and Control of Hybrid Systems: A Symbolic Approach
Approximately bisimilar finite abstractions of stable linear systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Minimum attention controller synthesis for omega-regular objectives
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Language-guided controller synthesis for discrete-time linear systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Brief paper: Controller synthesis for safety and reachability via approximate bisimulation
Automatica (Journal of IFAC)
Temporal logic model predictive control for discrete-time systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Hi-index | 0.00 |
This paper deals with the synthesis of state-feedback controllers using approximately bisimilar abstractions with an emphasis on safety problems. Such problems consist in synthesizing a controller that restricts the behaviors of a system so that its outputs remain in some specified safe set. One is usually interested in designing a controller that is as permissive as possible since this enables to ensure, a posteriori, secondary control objectives. Using the natural refinement technique for approximately bisimilar abstractions, a controller for a system can be synthesized from a controller for an abstraction. However, these controllers have some limitations in terms of performances, implementation cost and robustness. The main contribution of this paper is a new procedure for the synthesis of controllers for safety specifications using approximately bisimilar abstractions. Given a controller for an abstraction, we describe an approach for synthesizing a controller for the system that does not suffer from the previous limitations. Moreover, we show that if the controller of the abstraction is the maximal controller (i.e. the most permissive) then we can evaluate the distance between the synthesized controller and the maximal controller of the system. This distance can be made arbitrarily small by choosing sufficiently precise abstractions. We apply our results to synthesis problems for switched systems.