An Equivalent CTL Formulation for Condition Sequences Jeffrey AshleyLawrence E. Holloway OriginalPaper 13 October 2005 Pages: 333 - 348
Control of Safe Ordinary Petri Nets Using Unfolding Alessandro GiuaXiaolan Xie OriginalPaper 13 October 2005 Pages: 349 - 373
Multitasking Supervisory Control of Discrete-Event Systems Max H. de QueirozJosé E. R. CuryW. M. Wonham OriginalPaper 13 October 2005 Pages: 375 - 395
A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems Ahmed Khoumsi OriginalPaper 13 October 2005 Pages: 397 - 431
Optimal Control of Switching Surfaces in Hybrid Dynamical Systems M. BoccadoroY. WardiE. Verriest OriginalPaper 13 October 2005 Pages: 433 - 448