Sciweavers

3823 search results - page 195 / 765
» Stability of Hybrid Systems
Sort
View
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
16 years 1 months ago
An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
ISCAS
2005
IEEE
115views Hardware» more  ISCAS 2005»
16 years 3 days ago
Observed hybrid oscillations in an electrical distribution system
Slow oscillations, with a period of around 15 minutes, were observed in an 11kV electrical distribution system. Investigations determined that the oscillations were a result of in...
Vaibhav Donde, Ian A. Hiskens
KR
2004
Springer
15 years 12 months ago
From Hybrid Systems to Universal Plans Via Domain Compilation
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...
Anthony Barrett
ICAIL
2003
ACM
15 years 11 months ago
SHYSTER-MYCIN: A Hybrid Legal Expert System
SHYSTER-MYCIN combines a case-based legal expert system (SHYSTER) with a rule-based expert system (MYCIN) to form a hybrid legal expert system. MYCIN’s reporting has been improv...
Thomas A. O'Callaghan, James Popple, Eric McGreath
EMSOFT
2009
Springer
16 years 1 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele