Sciweavers

EMSOFT
2011
Springer

Synthesis of optimal switching logic for hybrid systems

12 years 10 months ago
Synthesis of optimal switching logic for hybrid systems
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 functions, and illustrate its effectiveness using several examples. Each trajectory of the system, and each state of the system, is associated with a cost. Our goal is to synthesize a system that minimizes this cost from each initial state. Our algorithm works in two steps. For a single initial state, we reduce the synthesis problem to an unconstrained numerical optimization problem which can be solved by any off-the-shelf numerical optimization engines. In the next step, optimal switching condit...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
Added 20 Dec 2011
Updated 06 Mar 2013
Type Journal
Year 2011
Where EMSOFT
Authors Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
Comments (0)