Sciweavers

53 search results - page 6 / 11
» Output feedback control of a class of stochastic hybrid syst...
Sort
View
77
Voted
HYBRID
2007
Springer
15 years 5 months ago
The Concept of Deadlock and Livelock in Hybrid Control Systems
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
Alessandro Abate, Alessandro D'Innocenzo, Giordano...
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
14 years 11 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
HYBRID
2005
Springer
15 years 5 months ago
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
Stefan Strubbe, A. J. van der Schaft
83
Voted
HYBRID
2003
Springer
15 years 4 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
15 years 5 months ago
Inference Methods for Autonomous Stochastic Linear Hybrid Systems
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, ...