Sciweavers

114 search results - page 1 / 23
» hybrid 1998
Sort
View
HYBRID
1998
Springer
13 years 9 months ago
On the Composition of Hybrid Systems
Sébastien Bornot, Joseph Sifakis
HYBRID
1998
Springer
13 years 9 months ago
Hybrid Control of Automotive Powertrain Systems: A Case Study
Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashank...
DEDS
1998
82views more  DEDS 1998»
13 years 4 months ago
Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...
Michael Heymann, Feng Lin, George Meyer
HYBRID
1998
Springer
13 years 9 months ago
Hybrid cc with Interval Constraints
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
Björn Carlson, Vineet Gupta