Sciweavers

1146 search results - page 9 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
2011
Springer
13 years 11 months ago
The earlier the better: a theory of timed actor interfaces
Marc Geilen, Stavros Tripakis, Maarten Wiggers
HYBRID
1997
Springer
15 years 3 months ago
From Quantity to Quality
Thomas A. Henzinger, Orna Kupferman
HYBRID
2001
Springer
15 years 4 months ago
On Hybrid Control of Under-Actuated Mechanical Systems
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao ...
HYBRID
1998
Springer
15 years 3 months ago
Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance
This paper presents new results on switching control using neural networks. Given a set of candidate controllers, a pair of neural networks is trained to identify the stability reg...
Enrique D. Ferreira, Bruce H. Krogh
HYBRID
2007
Springer
15 years 5 months ago
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Georgios E. Fainekos, Antoine Girard, George J. Pa...