✦ LIBER ✦

From ATP to timed graphs and hybrid systems

✍ Scribed by Xavier Nicollin; Joseph Sifakis; Sergio Yovine

Book ID: 105106441
Publisher: Springer-Verlag
Year: 1993
Tongue: English
Weight: 950 KB
Volume: 30
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf01178579

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timed Petri Nets in Hybrid Systems: Stab

Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control

✍ Xenofon D. Koutsoukos; Kevin X. He; Michael D. Lemmon; Panos J. Antsaklis 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 442 KB

Continuous modeling of real-time and hyb

Continuous modeling of real-time and hybrid systems: from concepts to tools

✍ Kim G. Larsen; B. Steffen; C. Weise 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 591 KB

Hybrid port–Hamiltonian systems: From pa

Hybrid port–Hamiltonian systems: From parameterized incidence matrices to hybrid automata

✍ C. Valentin; M. Magos; B. Maschke 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 352 KB

This paper shows how to formally design a hybrid automaton model for a wide class of dissipative physical systems with sources and switching topology. This method is based on a mathematical representation of the dynamic network graph and of its dual graph, using the hybrid incidence matrix, and on a

From time series to complex networks: Th

From time series to complex networks: The visibility graph

✍ Lacasa, L.; Luque, B.; Ballesteros, F.; Luque, J.; Nuno, J. C. 📂 Article 📅 2008 🏛 National Academy of Sciences 🌐 English ⚖ 679 KB

Hybrid systems with time scales and impu

Hybrid systems with time scales and impulses

✍ V. Lakshmikantham; J. Vasundhara Devi 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 134 KB

Hybrid impulsive and switching time-dela

Hybrid impulsive and switching time-delay systems

✍ Li, C.; Ma, F.; Feng, G. 📂 Article 📅 2009 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 329 KB