Sciweavers

1146 search results - page 6 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
2007
Springer
14 years 1 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...
HYBRID
2007
Springer
14 years 1 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
HYBRID
1999
Springer
14 years 21 hour ago
Verification of Hybrid Systems via Mathematical Programming
Alberto Bemporad, Manfred Morari
HYBRID
1998
Springer
13 years 12 months ago
On the Composition of Hybrid Systems
Sébastien Bornot, Joseph Sifakis