Modular feedback logic for discrete event systems
SIAM Journal on Control and Optimization
Communication and Concurrency
Level Set Methods for Computation in Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
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)
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Verification and Control of Hybrid Systems: A Symbolic Approach
Verification and Control of Hybrid Systems: A Symbolic Approach
Proceedings of the 13th ACM 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
Approximate bisimulations for sodium channel dynamics
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
| Hi-index | 22.14 |
In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to controller synthesis for both types of specifications. We start by synthesizing a controller for an approximately bisimilar abstraction. Then, using a concretization procedure, we obtain a controller for our initial system that is proved ''correct by design''. We provide guarantees of performance by giving estimates of the distance of the synthesized controller to the maximal (i.e., the most permissive) safety controller or to the time-optimal reachability controller. Finally, we use these techniques, combined with discrete approximately bisimilar abstractions of switched systems developed recently, for switching controller synthesis.