Sciweavers

695 search results - page 33 / 139
» Control in o-minimal Hybrid Systems
Sort
View
HYBRID
2007
Springer
14 years 3 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
HYBRID
2003
Springer
14 years 2 months ago
On the Application of Hybrid Control to CPU Reservations
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
Luigi Palopoli, Luca Abeni, Giuseppe Lipari
HYBRID
2004
Springer
14 years 3 months ago
Discrete State Estimators for a Class of Hybrid Systems on a Lattice
In this paper we consider the problem of estimating discrete variables in a class of hybrid systems where we assume that the continuous variables are available for measurement. Usi...
Domitilla Del Vecchio, Richard M. Murray
FORMATS
2006
Springer
14 years 1 months ago
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
Gordon J. Pace, Gerardo Schneider
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
13 years 4 months ago
Synthesis of embedded control systems with high sampling frequencies
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
Javad Lavaei, Somayeh Sojoudi, Richard M. Murray