State Tracking of Uncertain Hybrid Concurrent Systems
Abstract
In this paper we propose a component-based hybrid formalism, that represents physical phenomena by combining concurrent automata with continuous uncertain dynamic models. The formalism eases the modeling of complex physical systems, and adds concurrency to the supervision of hybrid systems. Uncertainties in the model are integrated as probabilities at the discrete level and intervals at the continuos level. Our modeling framework is rather generic while focusing on the construction of intelligent autonomous supervisors by integrating a continuous/discrete interface able to reason on-line in any region of the physical system state-space, for behavior simulation, diagnosis and system tracking.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 04, 2002
- Accession Number
- ADP012701
Entities
People
- Emmanuel Benazera
- Louise Trave-massuyes
- Philippe Dague
Organizations
- Laboratory for Analysis and Architecture of Systems