Sciweavers

1146 search results - page 6 / 230
» Periodically Controlled Hybrid Systems
Sort
View
84
Voted
HYBRID
2007
Springer
15 years 5 months ago
Case Studies in Event-Driven Control
Abstract. The majority of research in control engineering considers periodic or time-triggered control systems with equidistant sample intervals. However, practical cases abound in...
J. H. Sandee, W. P. M. H. Heemels, P. P. J. van de...
118
Voted
HYBRID
2007
Springer
15 years 5 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
69
Voted
HYBRID
1999
Springer
15 years 4 months ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari
80
Voted
HYBRID
1998
Springer
15 years 3 months ago
On the Composition of Hybrid Systems
Sébastien Bornot, Joseph Sifakis