Sciweavers

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...
SYSTOR
2009
ACM
14 years 4 days ago
Architecture of the internet archive
The Internet Archive is a live production system supporting close to a petabyte of data and delivering an average of 2.3Gb/sec of data to Internet users. We describe the architect...
Elliot Jaffe, Scott Kirkpatrick
SACMAT
2009
ACM
14 years 5 days ago
A formal framework to elicit roles with business meaning in RBAC systems
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...
CDC
2009
IEEE
140views Control Systems» more  CDC 2009»
14 years 6 days ago
Formation control of unicycle mobile robots: a virtual structure approach
— In this paper, the formation control problem for unicycle mobile robots is studied. A virtual structure control strategy with mutual coupling between the robots is proposed.
Thijs H. A. van den Broek, Nathan van de Wouw, Hen...