Sciweavers

695 search results - page 39 / 139
» Control in o-minimal Hybrid Systems
Sort
View
71
Voted
TCAD
2010
111views more  TCAD 2010»
14 years 4 months ago
Combining Control and Data Abstraction in the Verification of Hybrid Systems
Xavier Briand, Bertrand Jeannet
FROCOS
2005
Springer
15 years 3 months ago
Hybrid CSP Solving
Eric Monfroy, Frédéric Saubion, Tony...
HYBRID
1997
Springer
15 years 1 months ago
On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...
Michael S. Branicky
HYBRID
2004
Springer
15 years 3 months ago
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
Alexandre M. Bayen, Robin L. Raffard, Claire Tomli...
HYBRID
1998
Springer
15 years 2 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