![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Discrete Event Dynamic Systems, Volume 32
Volume 32, Number 1, March 2022
- Aleksandar Stamenkovic
, Miroslav Ciric, Dragan Djurdjanovic:
Weakly linear systems for matrices over the max-plus quantale. 1-25 - Karen Godary-Dejean
, Hélène Leroux, David Andreu:
Interpreted synchronous extension of time Petri nets. 27-64 - Dimitri Lefebvre
, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua:
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. 65-88 - Juliana Nogueira Vilela, Richard C. Hill:
Hierarchical planning in a supervisory control context with compositional abstraction. 89-113 - Ferdie F. H. Reijnen
, Toby R. Erens, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda:
Supervisory controller synthesis and implementation for safety PLCs. 115-141 - Michel R. C. Alves
, Patrícia N. Pena, Karen Rudie:
Discrete-event systems subject to unknown sensor attacks. 143-158
Volume 32, Number 2, June 2022
- Akihito Wada, Shigemasa Takai
:
Decentralized diagnosis of discrete event systems subject to permanent sensor failures. 159-193 - Huanfei Zheng
, Yue Wang
:
Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications. 195-230 - Yingxuan Yin, Yuegang Tao, Cailu Wang
, Haiyong Chen:
Local and global robustness with q-step delay for max-plus linear systems. 231-251 - Andrew Wintenberg
, Matthew Blischke, Stéphane Lafortune
, Necmiye Ozay
:
A general language-based framework for specifying and verifying notions of opacity. 253-289 - Román Pomares-Angelino, Ernesto López-Mellado
:
Discovering petri nets including silent transitions. A repairing approach based on structural patterns. 291-315 - Sander Thuijsman
, Michel A. Reniers
:
Transformational supervisor synthesis for evolving systems. 317-358
Volume 32, Number 3, September 2022
- K. Ritsuka
, Karen Rudie
:
Epistemic interpretations of decentralized discrete-event system problems. 359-398 - Thiago Monteiro Tuxi, Lilian K. Carvalho
, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha:
Diagnosability verification using LTL model checking. 399-433 - Kuize Zhang
:
Detectability of labeled weighted automata over monoids. 435-494 - Liyong Lin
, Ruochen Tai, Yuting Zhu, Rong Su:
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors. 495-520 - Helena Mysková, Ján Plávka:
Max-plus steady states in discrete event dynamic systems with inexact data. 521-538 - Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua:
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. 539-544
Volume 32, Number 4, December 2022
- Zhihui Yu, Xianping Guo, Li Xia
:
Zero-sum semi-Markov games with state-action-dependent discount factors. 545-571 - Shoma Matsui
, Stéphane Lafortune
:
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. 573-610 - Richard Hugh Moulton
, Behnam Behinaein Hamgini
, Zahra Abedi Khouzani, Rômulo Meira-Góes
, Fei Wang
, Karen Rudie
:
Using Subobservers to Synthesize Opacity-Enforcing Supervisors. 611-640 - Matteo Camilli
, Lorenzo Capra:
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. 641
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.