| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lonnie Turpin, Morgan Turpin |
Cycle times in D/D/S series queues with single multi-server bottlenecks.  |
Discret. Event Dyn. Syst.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibis Velasquez, Yannick Pencolé, Euriell Le Corronc |
Analysis and control of timed event graphs in (max, +) algebra for the active localization of time failures. |
Discret. Event Dyn. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiheng Tang, Thomas Moor |
Compositional non-blockingness verification of finite automata with prioritised events. |
Discret. Event Dyn. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Barros |
πHyFlow: formalism, semantics, and applications. |
Discret. Event Dyn. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengyi Zhang, Arianna Alfieri, Andrea Matta |
Generation of mathematical programming representations for discrete event simulation models of timed petri nets. |
Discret. Event Dyn. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Rosa, José E. R. Cury, Fabio L. Baldissera |
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case. |
Discret. Event Dyn. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Zorzenon, Jan Komenda, Jörg Raisch |
Switched max-plus linear-dual inequalities: cycle time analysis and applications. |
Discret. Event Dyn. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabino Francesco Roselli, Martin Fabian, Knut Åkesson |
Conflict-free electric vehicle routing problem: an improved compositional algorithm. |
Discret. Event Dyn. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Shrihari Sridharan, Sachindranath Jayaraman, Yogesh Kumar Prajapaty |
Dynamics of products of matrices in max algebra. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingxuan Yin, Yuegang Tao, Cailu Wang, Haiyong Chen |
Correction to: Local and global robustness with q-step delay for max-plus linear systems. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Parrot, Mikaël Briday, Olivier H. Roux |
Design and verification of pipelined circuits with Timed Petri Nets. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas V. R. Alves, Gustavo C. Rafael, Lucas S. Batista, Patrícia N. Pena |
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Bernabeu, Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Olivier H. Roux |
Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis |
On tolerance of discrete systems with respect to transition perturbations. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Thuijsman, Michel A. Reniers |
Correction to: Transformational supervisor synthesis for evolving systems. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian-Qiang Hu, Teng Lian |
On comparison of steady-state infinitesimal perturbation analysis and likelihood ratio derivative estimates. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Raffaele Zippo, Paul Nikolaus, Giovanni Stea |
Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Lin 0001, Caisheng Wang, Masoud H. Nazari, Wenyuan Li 0003 |
Supervisory control to maximize mean time to failure in discrete event systems. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuting Zhu, Liyong Lin, Ruochen Tai, Rong Su 0001 |
Overview of networked supervisory control with imperfect communication channels. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elzbieta Roszkowska, Piotr Makowski-Czerski, Lukasz Janiec |
Multi-level control for multiple mobile robot systems. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolando Cavazos-Cadena, Hugo Cruz-Suárez, Raúl Montes-de-Oca |
Average criteria in denumerable semi-Markov decision chains under risk-aversion. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten |
Modeling and analysis of switching max-plus linear systems with discrete-event feedback. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Jean-Baptiste Raclet |
Mixed Nondeterministic-Probabilistic Automata. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robi Malik, Sahar Mohajerani, Martin Fabian |
A survey on compositional algorithms for verification and synthesis in supervisory control. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosângela Albuquerque, Corneli Júnior, Giovanni Barroso, Guilherme Barreto |
A novel fully adaptive neural network modeling and implementation using colored Petri nets. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Ritsuka, Karen Rudie |
Do what you know: coupling knowledge with action in discrete-event systems. |
Discret. Event Dyn. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoma Matsui, Stéphane Lafortune |
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Monteiro Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antonio Eduardo Carrilho da Cunha |
Diagnosability verification using LTL model checking. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihui Yu, Xianping Guo, Li Xia |
Zero-sum semi-Markov games with state-action-dependent discount factors. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Román Pomares-Angelino, Ernesto López-Mellado |
Discovering petri nets including silent transitions. A repairing approach based on structural patterns. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihito Wada, Shigemasa Takai |
Decentralized diagnosis of discrete event systems subject to permanent sensor failures. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Godary-Dejean, Hélène Leroux, David Andreu 0001 |
Interpreted synchronous extension of time Petri nets. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Helena Mysková, Ján Plávka |
Max-plus steady states in discrete event dynamic systems with inexact data. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdie F. H. Reijnen, Toby R. Erens, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
Supervisory controller synthesis and implementation for safety PLCs. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Nogueira Vilela, Richard C. Hill |
Hierarchical planning in a supervisory control context with compositional abstraction. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuize Zhang |
Detectability of labeled weighted automata over monoids. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Thuijsman, Michel A. Reniers |
Transformational supervisor synthesis for evolving systems. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay |
A general language-based framework for specifying and verifying notions of opacity. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyong Lin, Ruochen Tai, Yuting Zhu, Rong Su 0001 |
Observation-assisted heuristic synthesis of covert attackers against unknown supervisors. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel R. C. Alves, Patrícia N. Pena, Karen Rudie |
Discrete-event systems subject to unknown sensor attacks. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Huanfei Zheng, Yue Wang 0011 |
Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Camilli, Lorenzo Capra |
Correction to: Formal specification and verification of decentralized self-adaptive systems using symmetric nets. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingxuan Yin, Yuegang Tao, Cailu Wang, Haiyong Chen |
Local and global robustness with q-step delay for max-plus linear systems. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Ritsuka, Karen Rudie |
Epistemic interpretations of decentralized discrete-event system problems. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Stamenkovic, Miroslav Ciric 0001, Dragan Djurdjanovic |
Weakly linear systems for matrices over the max-plus quantale. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua |
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. |
Discret. Event Dyn. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kan Wu 0001, Yichi Shen |
Pathwise stability of multiclass queueing networks. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Junping Li, Lan Cheng, Liuyan Li |
Long time behaviour for Markovian branching-immigration systems. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn A. Goorden, Martin Fabian, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda |
Compositional coordinator synthesis of extended finite automata. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderraouf Boussif, Mohamed Ghazel, João Carlos Basilio |
Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, Serge Haddad, Igor Khmelnitsky |
Commodification of accelerations for the Karp and Miller Construction. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Bonhomme |
Decentralized state estimation and diagnosis of p-time labeled Petri nets systems. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pan Xu 0003, Shaolong Shu, Feng Lin 0001 |
Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Euriell Le Corronc, Yannick Pencolé, Alexandre Sahuguède, Claire Paya |
Failure detection and localization for timed event graphs in $(\max \limits , +)$-algebra. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Luc Béchennec, Didier Lime, Olivier H. Roux |
Logical time control of concurrent DES. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers, Jeroen Voeten, Ramon R. H. Schiffelers |
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Walter Lucia, Giuseppe Franzè, Domenico Famularo |
A receding horizon event-driven control strategy for intelligent traffic management. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Triska, Thomas Moor |
Behaviour equivalent max-plus automata for timed petri nets under open-loop race-policy semantics. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ningshi Yao, Fumin Zhang 0001 |
Contention-resolving model predictive control for an intelligent intersection traffic model. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Declerck |
Critical subsystems in time interval models. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiguo Wang, Tsan Sheng Ng, Chee Khiang Pang |
Due-date quotation model for manufacturing system scheduling under uncertainty. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Balun, Tomás Masopust |
Comparing the notions of opacity for discrete-event systems. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoforos N. Hadjicostis, Stéphane Lafortune |
Editorial - Thirty years of J-DEDS: moving on with new leadership. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Elena Martínez-Manzanares, J. Adolfo Minjárez-Sosa |
A mean field absorbing control model for interacting objects systems. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robi Malik, Marcelo Teixeira |
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Camilli, Lorenzo Capra |
Formal specification and verification of decentralized self-adaptive systems using symmetric nets. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Ferro, Riccardo Minciardi, Luca Parodi, Michela Robba |
Discrete event optimization of a vehicle charging station with multiple sockets. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Gaujal, Alain Girault, Stéphan Plassart |
A pseudo-linear time algorithm for the optimal discrete speed minimizing energy consumption. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roshanak Khaleghi, Ramavarapu S. Sreenivas |
On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Declerck |
Counter approach for the estimation of optimal sequences in Partially Observable Untimed Petri Nets. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Tang 0009, Chang Liu, Yonglun Cao, Kai Lv, Qianli Zhang |
Hierarchical scheduling learning optimisation of two-area active distribution system considering peak shaving demand of power grid. |
Discret. Event Dyn. Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Lin 0001, Le Yi Wang, Wen Chen 0007, Weilin Wang, Fei Wang 0015 |
Information control in networked discrete event systems and its application to battery management systems. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Robi Malik, Marcelo Teixeira |
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jung-Min Yang, Thomas Moor, Jörg Raisch |
Refinements of behavioural abstractions for the supervisory control of hybrid systems. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin, Jörg Raisch |
Modelling and control of periodic time-variant event graphs in dioids. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Trunk, Bertrand Cottenceau, Laurent Hardouin, Jörg Raisch |
Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Khoumsi |
Arborescent architecture for decentralized diagnosis of discrete event systems. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani |
Model-checking precision agriculture logistics: the case of the differential harvest. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïg Jezequel, Agnes Madalinski, Stefan Schwoon |
Distributed computation of vector clocks in Petri net unfoldings for test selection. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Liyong Lin, Yuting Zhu, Rong Su 0001 |
Synthesis of covert actuator attackers for free. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Kloetzer, Cristian Mahulea |
Path planning for robotic teams based on LTL specifications and Petri net models. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yajing Liu, Edwin K. P. Chong, Ali Pezeshki, Zhenliang Zhang 0001 |
Submodular optimization problems and greedy strategies: A survey. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuize Zhang, Alessandro Giua |
On detectability of labeled Petri nets and finite automata. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Bertrand 0001, Serge Haddad, Engel Lefaucheux |
Diagnosis and Degradation Control for Probabilistic Systems. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdie F. H. Reijnen, Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
Modeling for supervisor synthesis - a lock-bridge combination case study. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart De Schutter, Ton J. J. van den Boom, Jia Xu 0007, Samira S. Farahani |
Analysis and control of max-plus linear discrete-event systems: An introduction. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Navarro-Gutiérrez, Jaime A. Fraustro-Valdez, Antonio Ramírez-Treviño, Manuel Silva 0001 |
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Lefebvre, Christoforos N. Hadjicostis |
Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Kathrin Schmuck, Thomas Moor, Rupak Majumdar |
On the relation between reactive synthesis and supervisory control of non-terminating processes. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Khoumsi |
Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Bohlender, Stefan Kowalewski |
Leveraging Horn clause solving for compositional verification of PLC software. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond |
A contribution to the determinization of max-plus automata. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Chen 0022, Christos G. Cassandras |
Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Robi Malik, Simon Ware |
On the computation of counterexamples in compositional nonblocking verification. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro A. C. F. Leite, Fabio L. Baldissera, José E. R. Cury |
State-based supervisory control with restrictions on the supervisor realization. |
Discret. Event Dyn. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Zhang 0019, Christos G. Cassandras, Wei Li 0033, Pieter J. Mosterman |
A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity. |
Discret. Event Dyn. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi 0001, Cristian Mahulea, Jorge Albareda |
Toward a decision support system for the clinical pathways assessment. |
Discret. Event Dyn. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license