4693 search results - page 145 / 939 » Verifying Hybrid Systems |
161
click to vote
AUTOMATICA
1999
15 years 4 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...
110
click to vote
ICAIL
2003
ACM
15 years 10 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...
169
click to vote
EMSOFT
2009
Springer
15 years 11 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...
134
click to vote
HYBRID
2001
Springer
15 years 9 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...
180
Voted
AAAI
2012
13 years 7 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...