Volume 26, Issue 1 | Discrete Event Dynamic Systems

Search all Discrete Event Dynamic Systems articles

Volume 26, Issue 1

March 2016

Special Issue on New approaches for DES modeling, analysis and synthesis

Issue Editors:

Jean-Jacques Lesage,
José E. R. Cury

5 articles in this issue

Special issue on “New approaches for DES modeling, analysis and synthesis”
Jean-Jacques Lesage
José E. R. Cury
EditorialNotes 19 February 2016 Pages: 1 - 3
Supervisory control synthesis for deterministic context free specification languages
Anne-Kathrin Schmuck
Sven Schneider
Uwe Nestmann
OriginalPaper 02 December 2015 Pages: 5 - 32
A framework for compositional nonblocking verification of extended finite-state machines
Sahar Mohajerani
Robi Malik
Martin Fabian
OriginalPaper 12 September 2015 Pages: 33 - 84
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
Marco Pocci
Isabel Demongodin
Alessandro Giua
OriginalPaper 20 February 2016 Pages: 85 - 108
VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems
Dieky Adzkiya
Yining Zhang
Alessandro Abate
OriginalPaper 15 October 2015 Pages: 109 - 145