✦ LIBER ✦

Reduction of Timed Hybrid Systems

✍ Scribed by S. Di Gennaro; C. Horn; S. R. Kulkarni; P. J. Ramadge

Book ID: 110263405
Publisher: Springer
Year: 1998
Tongue: English
Weight: 179 KB
Volume: 8
Category: Article
ISSN: 0924-6703
DOI: 10.1023/a:1008385431572

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

From ATP to timed graphs and hybrid syst

From ATP to timed graphs and hybrid systems

✍ Xavier Nicollin; Joseph Sifakis; Sergio Yovine 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 English ⚖ 950 KB

Analysis of three hybrid systems in time

Analysis of three hybrid systems in timed μCRL

✍ Jan Friso Groote; Jos van Wamel 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 284 KB

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

A Hybrid Heuristic Technique for Optimiz

A Hybrid Heuristic Technique for Optimizing Intermodal Logistics Timed Transfer Systems

✍ Chen, Cheng-Chieh (Frank); Schonfeld, Paul 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 194 KB

Inference of Timed Transition Systems

✍ Olga Grinchtein; Bengt Jonsson; Martin Leucker 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 262 KB

State feedback control of timed hybrid P

State feedback control of timed hybrid Petri nets

✍ Atsushi Tanaka; Toshimitsu Ushio; Shinzo Kodama 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 652 KB

## Abstract A system in which discrete variables and continuous variables are mixed is called a hybrid system. Many models have been proposed for description of hybrid systems. A mode graphically describing the causality relationship between the variables is the hybrid Petri net (HPN). A mode in wh