Sciweavers

HYBRID
2001
Springer
13 years 12 months ago
Optimal Control Using Bisimulations: Implementation
Mireille E. Broucke, Maria Domenica Di Benedetto, ...
HYBRID
2001
Springer
13 years 12 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 12 months ago
On the Decidability of the Reachability Problem for Planar Differential Inclusions
Eugene Asarin, Gerardo Schneider, Sergio Yovine
HYBRID
2001
Springer
13 years 12 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 12 months ago
Optimal Paths in Weighted Timed Automata
Rajeev Alur, Salvatore La Torre, George J. Pappas
HYBRID
2001
Springer
13 years 12 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 12 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 12 months ago
Minimum-Cost Reachability for Priced Timed Automata
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...