Searching for authors named "Philippe Dague" – sorted by Relevance.
-
State Tracking of Uncertain Hybrid Concurrent Systems
- 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. Uncertai
- Cited by 7 (3 self) – Add To MetaCart

