14190 search results - page 160 / 2838 » Abstractions for hybrid systems |
107
click to vote
ISCAS
2005
IEEE
16 years 2 days ago
2005
IEEE
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...
151
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
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...
181
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationa...
139
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
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...
209
click to vote
AAAI
2012
13 years 9 months 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...