Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 5 of 1051471 results
Sort by: relevance publication year

Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs

JOURNAL ARTICLE published June 2011 in Discrete Event Dynamic Systems

Authors: Hanifa Boucheneb | Kamel Barkaoui

https://doi.org/10.1007/s10626-011-0100-4 Actions

Modular supervisory control of timed discrete-event systems

PROCEEDINGS ARTICLE published in Proceedings of 32nd IEEE Conference on Decision and Control

Authors: B.A. Brandin | W.M. Wonham

https://doi.org/10.1109/cdc.1993.325595 Actions

An Overview of Results in Discrete Event Systems Using a Trace Theory Based Setting

BOOK CHAPTER published 1993 in Discrete Event Systems: Modeling and Control

Authors: Rein Smedinga

https://doi.org/10.1007/978-3-0348-9120-2_4 Actions

Supervisor State Size Reduction for Timed Discrete-Event Systems

PROCEEDINGS ARTICLE published July 2007 in 2007 American Control Conference

Authors: Ali Saadatpoor | W. M. Wonham

https://doi.org/10.1109/acc.2007.4282434 Actions

Stochastic Timed Petri Nets and Stochastic Petri Nets

BOOK CHAPTER published 1998 in The Kluwer International Series on Discrete Event Dynamic Systems

Authors: Jiacun Wang

https://doi.org/10.1007/978-1-4615-5537-7_5 Actions

Fault Diagnosis in Finite-State Automata and Timed Discrete-Event Systems

BOOK CHAPTER published 1999 in Topics in Control and its Applications

Authors: Shahin Hashtrudi Zad | Raymond H. Kwong | W. Murray Wonham

https://doi.org/10.1007/978-1-4471-0543-5_5 Actions

Control of Discrete Event Systems by Means of the Boolean Differential Calculus

BOOK CHAPTER published 1993 in Discrete Event Systems: Modeling and Control

Authors: Rainer Scheuring | Hans Wehlan

https://doi.org/10.1007/978-3-0348-9120-2_7 Actions

Failure detection and localization for timed event graphs in $(max limits ,+)$-algebra

JOURNAL ARTICLE published December 2021 in Discrete Event Dynamic Systems

Authors: Euriell Le Corronc | Yannick Pencolé | Alexandre Sahuguède | Claire Paya

https://doi.org/10.1007/s10626-020-00329-7 Actions

Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control

BOOK CHAPTER published 1996 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Stefan Kowalewski | Jörg Preu\ig

https://doi.org/10.1007/3-540-61042-1_47 Actions

Model Checking of Time Petri Nets Using the State Class Timed Automaton

JOURNAL ARTICLE published April 2006 in Discrete Event Dynamic Systems

Authors: Didier Lime | Olivier H. Roux

https://doi.org/10.1007/s10626-006-8133-9 Actions

Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs

JOURNAL ARTICLE published June 2012 in Discrete Event Dynamic Systems

Authors: Dimitri Lefebvre | Edouard Leclercq

https://doi.org/10.1007/s10626-011-0114-y Actions

A state-based reasoning for the supervisory control of timed discrete event systems

PROCEEDINGS ARTICLE published in IEEE International Conference on Systems, Man and Cybernetics

Authors: A. Khatab | E. Niel

https://doi.org/10.1109/icsmc.2002.1167999 Actions

Design and verification of pipelined circuits with Timed Petri Nets

JOURNAL ARTICLE published March 2023 in Discrete Event Dynamic Systems

Authors: Rémi Parrot | Mikaël Briday | Olivier H. Roux

https://doi.org/10.1007/s10626-022-00371-7 Actions

Localization of Timed Discrete-Event Systems

BOOK CHAPTER published 2016 in Supervisor Localization

Authors: Kai Cai | W. Murray Wonham

https://doi.org/10.1007/978-3-319-20496-3_7 Actions

Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems

JOURNAL ARTICLE published March 2023 in Discrete Event Dynamic Systems

Authors: Antoine Bernabeu | Jean-Luc Béchennec | Mikael Briday | Sebastien Faucou | Olivier Roux

https://doi.org/10.1007/s10626-022-00372-6 Actions

Analytic evaluation of the cycle time on networked conflicting timed event graphs in the (Max,+) algebra

JOURNAL ARTICLE published December 2016 in Discrete Event Dynamic Systems

Authors: W. M. Boussahel | S. Amari | R. Kara

https://doi.org/10.1007/s10626-015-0220-3 Actions

Optimal control of a class of DEDS: Flow-shops with state-dependent processing times

JOURNAL ARTICLE published September 1993 in Discrete Event Dynamic Systems: Theory and Applications

Authors: E. Wagneur | C. Sriskandarajah

https://doi.org/10.1007/bf01439161 Actions

On just-in-time control of timed event graphs with input constraints: a semimodule approach

JOURNAL ARTICLE published June 2016 in Discrete Event Dynamic Systems

Authors: Guilherme Gomes da Silva | Carlos Andrey Maia

https://doi.org/10.1007/s10626-014-0200-z Actions

Finite-time accuracy of timed discrete event systems

PROCEEDINGS ARTICLE published 14 December 2021 in 2021 60th IEEE Conference on Decision and Control (CDC)

Authors: Francesco Basile | Luigi Ferrara

https://doi.org/10.1109/cdc45484.2021.9683603 Actions

On the diagnosability of decentralized, timed discrete event systems

PROCEEDINGS ARTICLE published in Proceedings of the 41st IEEE Conference on Decision and Control, 2002.

Authors: G. Provan

https://doi.org/10.1109/cdc.2002.1184528 Actions
Feedback: support@crossref.org