Sciweavers

13717 search results - page 8 / 2744
» Control Systems
Sort
View
92
Voted
HYBRID
1999
Springer
15 years 7 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari
108
Voted
RSP
1998
IEEE
15 years 7 months ago
Rapid Prototyping of Embedded Hardware/Software Systems
Klaus Buchenrieder
99
Voted
HYBRID
1998
Springer
15 years 6 months ago
On the Composition of Hybrid Systems
Sébastien Bornot, Joseph Sifakis
89
Voted
HYBRID
1992
Springer
15 years 6 months ago
Hybrid Systems in TLA+
Leslie Lamport