Effective Synthesis of Switching Controllers for Linear Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Proceedings of the IEEE Year : 2000

Effective Synthesis of Switching Controllers for Linear Systems

Eugène Asarin
  • Function : Author
Thao Dang
Oded Maler
  • Function : Author
Amir Pnueli
  • Function : Author

Abstract

In this work, we suggest a novel methodology for synthesizing switching controllers for continuous and hybrid systems whose dynamics is defined by linear differential equations. We formulate the synthesis problem as finding the conditions upon which a controller should switch the behaviour of the system from one ``mode'' to another in order to avoid a set of bad states, an propose an abstract algorithm which solves the problem by iterative calculation of reachable states. We have implemented a concrete version of the algorithm which uses a new approximation scheme for reachability analysis for linear systems.
No file

Dates and versions

inria-00099342 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099342 , version 1

Cite

Eugène Asarin, Olivier Bournez, Thao Dang, Oded Maler, Amir Pnueli. Effective Synthesis of Switching Controllers for Linear Systems. Proceedings of the IEEE, 2000, 88 (7), pp.1011-1025. ⟨inria-00099342⟩
148 View
0 Download

Share

Gmail Facebook X LinkedIn More