Sciweavers

1146 search results - page 9 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
2011
Springer
12 years 7 months ago
The earlier the better: a theory of timed actor interfaces
Marc Geilen, Stavros Tripakis, Maarten Wiggers
HYBRID
1997
Springer
13 years 12 months ago
From Quantity to Quality
Thomas A. Henzinger, Orna Kupferman
HYBRID
2001
Springer
14 years 7 days 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
13 years 12 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
14 years 1 months ago
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Georgios E. Fainekos, Antoine Girard, George J. Pa...