4693 search results - page 145 / 939 » Verifying Hybrid Systems |
124
Voted
AUTOMATICA
1999
15 years 15 days 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...
70
Voted
ICAIL
2003
ACM
15 years 6 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...
132
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
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...
98
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
138
click to vote
AAAI
2012
13 years 3 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...