Sciweavers

13717 search results - page 8 / 2744
» Control Systems
Sort
View
57
Voted
HYBRID
1999
Springer
15 years 1 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari
HYBRID
1998
Springer
15 years 1 months ago
On the Composition of Hybrid Systems
Sébastien Bornot, Joseph Sifakis
HYBRID
1992
Springer
15 years 1 months ago
Hybrid Systems in TLA+
Leslie Lamport