✦ LIBER ✦

Supervisor Synthesis for Real-Time Discrete Event Systems

✍ Scribed by Archana S. Sathaye; Bruce H. Krogh

Book ID: 110260822
Publisher: Springer
Year: 1998
Tongue: English
Weight: 562 KB
Volume: 8
Category: Article
ISSN: 0924-6703
DOI: 10.1023/a:1008252325849

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Supervisor localization for large discre

Supervisor localization for large discrete-event systems

✍ Kai Cai; W. M. Wonham 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 732 KB

Efficient robust supervisors for discret

Efficient robust supervisors for discrete event systems

✍ Christoforos E. Economacos; Fotis N. Koumboulis 📂 Article 📅 2009 🏛 Science in China Press (SCP) 🌐 English ⚖ 401 KB

A control synthesis approach for time di

A control synthesis approach for time discrete event systems

✍ Alexandru Tiberiu Sava; Hassane Alla 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 522 KB

A Real-Time Discrete Event System Specif

A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development

✍ Joon Sung Hong; Hae-Sang Song; Tag Gon Kim; Kyu Ho Park 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 604 KB

Real time identification of discrete eve

Real time identification of discrete event systems using Petri nets

✍ Mariagrazia Dotoli; Maria Pia Fanti; Agostino Marcello Mangini 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 891 KB

The paper defines the identification problem for Discrete Event Systems (DES) as the problem of inferring a Petri Net (PN) model using the observation of the events and the available output vectors, that correspond to the markings of the measurable places. Two cases are studied considering different

Maximizing robustness of supervisors for

Maximizing robustness of supervisors for partially observed discrete event systems

✍ Shigemasa Takai 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 213 KB