145 search results - page 1 / 29 » Synthesis of optimal switching logic for hybrid systems |
EMSOFT
2011
Springer
12 years 5 months ago
2011
Springer
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...
HYBRID
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
VMCAI
2009
Springer
14 years 3 days ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
