ABSTRACT
We introduce CoSyMA, a tool for automatic controller synthesis for incrementally stable switched systems based on multi-scale discrete abstractions. The tool accepts a description of a switched system represented by a set of differential equations and the sampling parameters used to define an approximation of the state-space on which discrete abstractions are computed. The tool generates a controller - if it exists - for the system that enforces a given safety or time-bounded reachability specification. We illustrate by examples the synthesized controllers and the significant performance gains during their computation.
- D. Angeli. A Lyapunov approach to incremental stability properties. IEEE Transactions on Automatic Control, 47(3):410 --421, 2002.Google ScholarCross Ref
- R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8):677--691, 1986. Google ScholarDigital Library
- J. Cámara, A. Girard, and G. Gössler. Safety controller synthesis for switched systems Using multi-scale symbolic models. In IEEE Conference on Decision and Control and European Control Conference, pages 520--525. IEEE, 2011.Google ScholarCross Ref
- J. Cámara, A. Girard, and G. Gössler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions. In Hybrid Systems: Computation and Control, pages 191--200. ACM, 2011. Google ScholarDigital Library
- A. Girard and G. J. Pappas. Approximation metrics for discrete and continuous systems. IEEE Transactions on Automatic Control, 52(5):782 --798, 2007.Google ScholarCross Ref
- A. Girard, G. Pola, and P. Tabuada. Approximately bisimilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control, 55(1):116 --126, 2010.Google ScholarCross Ref
- B. Jeannet. MLCUDDIDL: OCaml interface for CUDD library, version 2.2.0, 2011. http://pop-art.inrialpes.fr/ bjeannet/mlxxxidl-forge/mlcuddidl/html/Cudd.html.Google Scholar
- X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system release 3.12. Documentation and user manual, 2010.Google Scholar
- M. Mazo Jr., A. Davitian, and P. Tabuada. Pessoa: A tool for embedded controller synthesis. In Computer Aided Verification, volume 6174 of LNCS, pages 566--569. Springer, 2010. Google ScholarDigital Library
- S. Mouelhi, G. Gössler, and A. Girard. Synthesizing controllers for switched systems using COSYMA. Technical report, INRIA, 2012.Google Scholar
- F. Somenzi. CUDD: CU decision diagram package. http://vlsi.colorado.edu/ fabio/CUDD.Google Scholar
- P. Tabuada. Verification and control of hybrid systems: a symbolic approach. Springer, 2009. Google ScholarDigital Library
- T. Tantau. The TikZ and PGF packages, manual for version 2.10, 2010.Google Scholar
Index Terms
- CoSyMA: a tool for controller synthesis using multi-scale abstractions
Recommendations
Pessoa 2.0: a controller synthesis tool for cyber-physical systems
HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and controlWe introduce PESSOA 2.0, a tool that automatically synthesizes controllers for cyber-physical systems based on correct-by-design methodology. PESSOA 2.0 accepts a cyber-physical system represented by a set of smooth differential equations and automata ...
High-Level Test Synthesis: A Survey from Synthesis Process Flow Perspective
High-level test synthesis is a special class of high-level synthesis having testability as one of the important components. This article presents a detailed survey on recent developments in high-level test synthesis from a synthesis process flow ...
Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors
HSCC '16: Proceedings of the 19th International Conference on Hybrid Systems: Computation and ControlMotivated by the provably-correct execution of complex reactive tasks for robots with nonlinear, under-actuated dynamics, our focus is on the synthesis of a library of low-level controllers that implements the behaviors of a high-level controller. The ...
Comments