Sciweavers

3053 search results - page 10 / 611
» Hybrid Systems Diagnosis
Sort
View
TSMC
1998
152views more  TSMC 1998»
13 years 7 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua
HYBRID
2000
Springer
13 years 11 months ago
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
Jun Zhang, Karl Henrik Johansson, John Lygeros, Sh...
ECAI
2010
Springer
13 years 8 months ago
A Decentralised Symbolic Diagnosis Approach
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given...
Anika Schumann, Yannick Pencolé, Sylvie Thi...
ISCAS
2003
IEEE
107views Hardware» more  ISCAS 2003»
14 years 27 days ago
Optimal adaptive parallel diagnosis for arrays
We consider adaptive fault diagnosis for array multiprocessor systems. We show that three testing rounds are necessary and sufficient for adaptive parallel diagnosis of an Nproce...
Toshinori Yamada, Kumiko Nomura, Shuichi Ueno
AIIA
2007
Springer
13 years 9 months ago
Plan Diagnosis and Agent Diagnosis in Multi-agent Systems
Abstract. The paper discusses a distributed approach for monitoring and diagnosing the execution of a plan where concurrent actions are performed by a team of cooperating agents. T...
Roberto Micalizio, Pietro Torasso