𝔖 Bobbio Scriptorium

✦ LIBER ✦

TIME WINDOWS: AUTOMATED ABSTRACTION OF CONTINUOUS-TIME MODELS INTO DISCRETE-EVENT MODELS IN HIGH AUTONOMY SYSTEMS∗

✍ Scribed by WANG, QINGSU; CELLIER, FRANgOIS E.

Book ID: 126560147
Publisher: Taylor and Francis Group
Year: 1991
Tongue: English
Weight: 894 KB
Volume: 19
Category: Article
ISSN: 0308-1079
DOI: 10.1080/03081079108935176

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modelling of combined discrete event and

Modelling of combined discrete event and continuous time dynamical systems : M. Andersson, pp 141–144

📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 267 KB

A discrete space continuous time modelin

A discrete space continuous time modeling approach to nonsteady flow in a leaky aquifer system of finite configuration

✍ Miguel A. Marino; Willian W-G. Yeh 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 487 KB

[IEEE 2008 9th International Workshop on

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Building effective formal models to prove time properties of networked automation systems

✍ Ruel, Silvain; de Smet, Olivier; Faure, Jean-Marc 📂 Article 📅 2008 🏛 IEEE ⚖ 691 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1055 || Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 738 KB

[IEEE 2011 9th IEEE/ACM International Co

[IEEE 2011 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) - Cambridge, United Kingdom (2011.07.11-2011.07.13)] Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) - Modeling of time in discrete-event simulation of systems-on-chip

✍ Funchal, Giovanni; Moy, Matthieu 📂 Article 📅 2011 🏛 IEEE ⚖ 342 KB

[IEEE 2012 17th International Conference

[IEEE 2012 17th International Conference on Methods & Models in Automation & Robotics (MMAR) - Miedzyzdroje, Poland (2012.08.27-2012.08.30)] 2012 17th International Conference on Methods & Models in Automation & Robotics (MMAR) - Synthesis of a polynomial discrete time control approach for nonlinear systems

✍ Charfeddine, Samia; Jerbi, Houssem 📂 Article 📅 2012 🏛 IEEE ⚖ 552 KB