Sciweavers

HYBRID
2001
Springer
13 years 8 months ago
Optimal Control Using Bisimulations: Implementation
Mireille E. Broucke, Maria Domenica Di Benedetto, ...
HYBRID
2001
Springer
13 years 8 months ago
Path-Dependent Impulse and Hybrid Systems
Path-dependent impulse differential inclusions, and in particular, path-dependent hybrid control systems, are defined by a path-dependent differential inclusion (or path-depend...
Jean-Pierre Aubin, George Haddad
HYBRID
2001
Springer
13 years 8 months ago
On the Decidability of the Reachability Problem for Planar Differential Inclusions
Eugene Asarin, Gerardo Schneider, Sergio Yovine
HYBRID
2001
Springer
13 years 8 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
2001
Springer
13 years 8 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas
HYBRID
2001
Springer
13 years 8 months ago
Hybrid Modeling and Simulation of Biomolecular Networks
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
Rajeev Alur, Calin Belta, Franjo Ivancic
HYBRID
2001
Springer
13 years 8 months ago
Design of Luenberger Observers for a Class of Hybrid Linear Systems
An approach to estimation for a class of hybrid discrete-time linear systems using Luenberger observers is presented. The proposed Luenberger observer for such a kind of systems re...
Angelo Alessandri, Paolo Coletta
HYBRID
2001
Springer
13 years 8 months ago
Minimum-Cost Reachability for Priced Timed Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...