default search action
Discrete Event Dynamic Systems, Volume 30
Volume 30, Number 1, March 2020
- Dimitri Bohlender
, Stefan Kowalewski:
Leveraging Horn clause solving for compositional verification of PLC software. 1-24 - Bart De Schutter
Analysis and control of max-plus linear discrete-event systems: An introduction. 25-54 - Marius Kloetzer
Path planning for robotic teams based on LTL specifications and Petri net models. 55-79 - Anne-Kathrin Schmuck
On the relation between reactive synthesis and supervisory control of non-terminating processes. 81-124 - Rui Chen
Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control. 125-153 - Sébastien Lahaye
A contribution to the determinization of max-plus automata. 155-174
Volume 30, Number 2, June 2020
- Manuel Navarro-Gutiérrez
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties. 175-209 - Robi Malik, Marcelo Teixeira
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. 211-241 - Feng Lin
Information control in networked discrete event systems and its application to battery management systems. 243-268 - Johannes Trunk
Modelling and control of periodic time-variant event graphs in dioids. 269-300 - Robi Malik, Simon Ware:
On the computation of counterexamples in compositional nonblocking verification. 301-334 - Ahmed Khoumsi
Arborescent architecture for decentralized diagnosis of discrete event systems. 335-375 - Ahmed Khoumsi:
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems. 377-379
Volume 30, Number 3, September 2020
- Yajing Liu
Submodular optimization problems and greedy strategies: A survey. 381-412 - Dimitri Lefebvre
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers. 413-440 - Loïg Jezequel
Distributed computation of vector clocks in Petri net unfoldings for test selection. 441-464 - Kuize Zhang
On detectability of labeled Petri nets and finite automata. 465-497 - Ferdie F. H. Reijnen
Modeling for supervisor synthesis - a lock-bridge combination case study. 499-532 - Jung-Min Yang, Thomas Moor, Jörg Raisch:
Refinements of behavioural abstractions for the supervisory control of hybrid systems. 533-560
Volume 30, Number 4, December 2020
- Liyong Lin
Synthesis of covert actuator attackers for free. 561-577 - Rim Saddem-Yagoubi
Model-checking precision agriculture logistics: the case of the differential harvest. 579-604 - Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin, Jörg Raisch:
Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control. 605-634 - Ton J. J. van den Boom, Marenne van den Muijsenberg, Bart De Schutter
Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs. 635-669 - Pedro A. C. F. Leite, Fabio L. Baldissera, José E. R. Cury:
State-based supervisory control with restrictions on the supervisor realization. 671-693 - Nathalie Bertrand
Diagnosis and Degradation Control for Probabilistic Systems. 695-723
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 2024-12-19 22:13 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: