default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiscrete 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
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.
last updated on 2025-01-10 18:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
