Synthesis of optimal switching logic for hybrid systems

  title={Synthesis of optimal switching logic for hybrid systems},
  author={Susmit Jha and Sanjit A. Seshia and Ashish Tiwari},
  journal={2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT)},
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system satisfies a quantitative specification. We formalize and solve the problem of optimal switching logic synthesis for quantitative specifications over long run behavior. Our paper generalizes earlier work on synthesis for safety. We present an approach for specifying quantitative measures using reward and penalty… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 21 extracted citations

Unifying Theories of Programming and Formal Engineering Methods

Lecture Notes in Computer Science • 2013
View 6 Excerpts
Highly Influenced

Formal Modeling and Analysis of Timed Systems

Lecture Notes in Computer Science • 2016
View 7 Excerpts
Highly Influenced

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2017


Publications referenced by this paper.
Showing 1-7 of 7 references

A characterization of the minimum cycle mean in a digraph

Discrete Mathematics • 1978
View 20 Excerpts
Highly Influenced

A simplex method for function minimization

J. A. Nelder, R. Mead
The Computer Journal, • 1965
View 6 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…