1287 search results - page 12 / 258 » Reduction of Timed Hybrid Systems |
AUTOMATICA
2008
14 years 9 months ago
2008
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 ...
HYBRID
1997
Springer
15 years 1 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
108
click to vote
AAAI
2012
13 years 3 hour ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
DFT
2003
IEEE
15 years 2 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...
109
click to vote
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...