


default search action
Discrete Event Dynamic Systems, Volume 27
Volume 27, Number 1, March 2017
- Eric Dallal, Alessandro Colombo
, Domitilla Del Vecchio, Stéphane Lafortune
:
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. 1-44 - Shoichi Yokota, Takashi Yamamoto
, Shigemasa Takai:
Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions. 45-84 - Pascal Moyal
:
On the stability of a class of non-monotonic systems of parallel queues. 85-107 - A. C. van Hulst, Michel A. Reniers
, Wan J. Fokkink
:
Maximally permissive controlled system synthesis for non-determinism and modal logic. 109-142 - Houssam-Eddine Gougam, Yannick Pencolé
, Audine Subias
:
Diagnosability analysis of patterns on bounded labeled prioritized Petri nets. 143-180 - Kistosil Fahim
, Subiono, Jacob van der Woude:
On a generalization of power algorithms over max-plus algebra. 181-203
Volume 27, Number 2, June 2017
- Necmiye Ozay
, Paulo Tabuada
:
Guest editorial: special issue on formal methods in control. 205-208 - Rüdiger Ehlers
, Stéphane Lafortune
, Stavros Tripakis
, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. 209-260 - Anne-Kathrin Schmuck, Rupak Majumdar, Adrian Leva:
Dynamic hierarchical reactive controller synthesis. 261-299 - Petter Nilsson
, Necmiye Ozay
, Jun Liu:
Augmented finite transition systems as abstractions for control synthesis. 301-340 - Majid Zamani
, Ilya Tkachev, Alessandro Abate:
Towards scalable synthesis of stochastic control systems. 341-369 - Jonathan A. DeCastro, Rüdiger Ehlers
, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit:
Automated generation of dynamics-based runtime certificates for high-level control. 371-405 - Md Tawhid Bin Waez, Andrzej Wasowski
, Juergen Dingel, Karen Rudie
:
Controller synthesis for dynamic hierarchical real-time plants using timed automata. 407-441 - Hoang-Dung Tran, Luan Viet Nguyen
, Weiming Xiang
, Taylor T. Johnson
:
Order-reduction abstractions for safety verification of high-dimensional linear systems. 443-461 - Blake C. Rawlings
, B. Erik Ydstie
:
Falsification of combined invariance and reachability specifications in hybrid control systems. 463-479
Volume 27, Number 3, September 2017
- David Thorsley:
A necessary and sufficient condition for diagnosability of stochastic discrete event systems. 481-500 - Qingda Wei, Xian Chen:
Average cost criterion induced by the regular utility function for continuous-time Markov decision processes. 501-524 - Estíbaliz Fraca
, Jorge Júlvez, Manuel Silva Suárez
:
Fluid approximation of Petri net models with relatively small populations. 525-546 - Shaull Almagor
, Orna Kupferman:
Latticed-LTL synthesis in the presence of noisy inputs. 547-572 - Pascal Moyal
:
A pathwise comparison of parallel queues. 573-584
Volume 27, Number 4, December 2017
- Jan Komenda, Tomás Masopust
:
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication. 585-608 - Seyed Mehdi Vahidipour
, Mohammad Reza Meybodi, Mehdi Esnaashari
:
Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem. 609-640 - Bilal Benmessahel
, Mohamed Touahria, Farid Nouioua:
Predictability of fuzzy discrete event systems. 641-673 - Haifeng Huo, Xiaolong Zou, Xianping Guo:
The risk probability criterion for discounted continuous-time Markov decision processes. 675-699 - Leonardo B. Clavijo, João Carlos Basilio
:
Empirical studies in the size of diagnosers and verifiers for diagnosability analysis. 701-739

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.