| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yorai Wardi, Magnus Egerstedt |
Guest editorial: hybrid systems, part II.  |
Discrete Event Dynamic Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | René K. Boel |
Special section on software cybernetics. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José Merseguer, Simona Bernardi |
Dependability analysis of DES based on MARTE and UML state machines models. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Yao, Christos G. Cassandras |
Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Martin, Magnus Egerstedt |
Hybrid systems tools for compiling controllers for cyber-physical systems. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert G. Tanner, Jie Fu, Chetan Rawal, Jorge L. Piovesan, Chaouki T. Abdallah |
Finite abstractions for hybrid systems with stable continuous dynamics. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik I. Verriest |
Pseudo-continuous multi-dimensional multi-mode systems - Behavior, structure and optimal control. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Changyan Zhou, Ratnesh Kumar |
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitri Lefebvre, Edouard Leclercq |
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart |
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Sacone, Silvia Siri |
A control scheme for freeway traffic systems based on hybrid automata. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vadim Azhmyakov, Michael V. Basin, Jörg Raisch |
A Proximal Point Based Approach to Optimal Control of Affine Switched Systems. |
Discrete Event Dynamic Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moez Draief, Ayalvadi J. Ganesh |
A random walk model for infection on graphs: spread of epidemics & rumours with mobile agents. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Mairesse |
Foreword: Special section on performance evaluation methodologies. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Koichi Kobayashi, Jun-ichi Imura, Kunihiko Hiraishi |
Stabilization of Finite Automata with Application to Hybrid Systems Control. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens |
Multi-task Implementation of Multi-periodic Synchronous Programs. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramon Piedrafita Moreno, José Luis Villarroel Salcedo |
Performance Evaluation of Petri nets Centralized Implementation. The Execution Time Controller. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yorai Wardi, Magnus Egerstedt |
Guest editorial: hybrid systems, part I. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Jain, Sandeep Juneja, Nahum Shimkin |
The concert queueing game: to wait or to be late. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi-Ren Cao, De-Xin Wang, Tao Lu, Yifan Xu |
Stochastic control via direct comparison. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kagan Gokbayrak |
Receding Horizon Control of Mixed Line Flow Shop Systems. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Kebarighotbi, Christos G. Cassandras |
Optimal scheduling of parallel queues using stochastic flow models. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Yao, Christos G. Cassandras |
Perturbation Analysis and Optimization of Multiclass Multiobjective Stochastic Flow Models. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lenko Grigorov, Brian E. Butler, José E. R. Cury, Karen Rudie |
Conceptual Design of Discrete-Event Systems Using Templates. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kagan Gokbayrak |
State-dependent Control of a Single Stage Hybrid System with Poisson Arrivals. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent Peres, Bernard Berthomieu, François Vernadat |
On the composition of time Petri nets. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Jack Chen |
An enhanced lognormal selection procedure. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Spyros A. Reveliotis, Theologos Bountourelis |
Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart |
Decentralized Control of Infinite Systems. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claude Martinez, Olivier H. Roux |
Special issue on Modeling of Reactive Systems. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Gast, Bruno Gaujal |
A mean field approach for optimization in discrete time. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanifa Boucheneb, Kamel Barkaoui |
Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Silva, Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez |
On fluidization of discrete event models: observation and control of continuous Petri nets. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ferrandiz, Fabrice Frances, Christian Fraboul |
Worst-case end-to-end delays evaluation for SpaceWire networks. |
Discrete Event Dynamic Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky |
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sid Ahmed Attia, Vadim Azhmyakov, Jörg Raisch |
On an Optimization Problem for a Class of Impulsive Hybrid Systems. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen Shen, Qianchuan Zhao, Qing-Shan Jia |
Quantifying Heuristics in the Ordinal Optimization Framework. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesus R. Artalejo, Quan-Lin Li |
Performance Analysis of a Block-Structured Discrete-Time Retrial Queue with State-Dependent Arrivals. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Heidergott, Taoying Farenhorst-Yuan, Felisa J. Vázquez-Abad |
A Perturbation Analysis Approach to Phantom Estimators for Waiting Times in the G/G/1 Queue. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard C. Hill, Dawn M. Tilbury, Stéphane Lafortune |
Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Van Roy |
On Regression-Based Stopping Times. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Buchholz, Peter Kemper |
Model Checking for a Class of Weighted Automata. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Maria Verloop, Urtzi Ayesta, Sem C. Borst |
Monotonicity Properties for Multi-Class Queueing Systems. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yorai Wardi, George F. Riley |
Infinitesimal Perturbation Analysis in Networks of Stochastic Flow Models: General Framework and Case Study of Tandem Networks with Flow Control. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Feng, W. Murray Wonham |
On the Computation of Natural Observers in Discrete-Event Systems. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan-Jie Li, Fang Cao 0003, Xi-Ren Cao |
On-Line Policy Gradient Estimation with Multi-Step Sampling. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Ning, Christos G. Cassandras |
Message Batching in Wireless Sensor Networks - A Perturbation Analysis Approach. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianfeng Mao, Christos G. Cassandras |
Optimal Admission Control of Discrete Event Systems with Real-Time Constraints. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko A. A. Boon, Ivo J. B. F. Adan, Onno J. Boxma |
A Two-Queue Polling Model with Two Priority Levels in the First Queue. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorothy Bollman, Omar Colón-Reyes, Victor A. Ocasio, Edusmildo Orozco |
A Control Theory for Boolean Monomial Dynamical Systems. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi-Ren Cao |
Editorial. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Santosh Biswas, Dipankar Sarkar, Siddhartha Mukhopadhyay, Amit Patra |
Fairness of Transitions in Diagnosability of Discrete Event Systems. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianfeng Mao, Christos G. Cassandras |
On-line Optimal Control of a Class of Discrete Event Systems with Real-Time Constraints. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Martin, Magnus Egerstedt |
Timing Control of Switched Systems with Applications to Robotic Marionettes. |
Discrete Event Dynamic Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Casagrande, Carla Piazza, Alberto Policriti |
Discrete Semantics for Hybrid Automata. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Ghazel, Armand Toguyéni, Pascal Yim |
State Observer for DES Under Partial Observation with Time Petri Nets. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Eloy Ruiz-Castro, Gemma Fernández-Villodre, Rafael Pérez-Ocón |
A Multi-Component General Discrete System Subject to Different Types of Failures with Loss of Units. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva |
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson |
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eitan Altman |
Semi-linear Stochastic Difference Equations. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond |
Supervisory Control of (max, +) Automata: A Behavioral Approach. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Bherer, Jules Desharnais, Richard St.-Denis |
Control of Parameterized Discrete Event Systems. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Ru, Christoforos N. Hadjicostis |
Fault Diagnosis in Discrete Event Systems Modeled by Partially Observed Petri Nets. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Theologos Bountourelis, Spyros A. Reveliotis |
Optimal Node Visitation in Acyclic Stochastic Digraphs with Multi-threaded Traversals and Internal Visitation Requirements. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Bauer 0002, Sophie Pinchinat |
Prognosis of omega-Languages for the Diagnosis of *-Languages: A Topological Perspective. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kagan Gokbayrak, Omer Selvi |
A Subgradient Descent Algorithm for Optimization of Initially Controllable Flow Shop Systems. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yorai Wardi, Edwin Chong |
Editorial for the SI: Optimization of Discrete Event Dynamic Systems. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek S. Borkar, Jervis Pinto, Tarun Prabhu |
A New Learning Algorithm for Optimal Stopping. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shixin Zhuang, Christos G. Cassandras |
Optimal Control of Discrete Event Systems with Weakly Hard Real-Time Constraints. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Mahulea, Laura Recalde, Manuel Silva |
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Giglio, Riccardo Minciardi, Simona Sacone, Silvia Siri |
Optimal Control of Production Processes with Variable Execution Times. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin K. P. Chong, Christopher M. Kreucher, Alfred O. Hero |
Partially Observable Markov Decision Process Approximations for Adaptive Sensing. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tae-Sic Yoo, Humberto E. Garcia |
Event Counting of Partially-Observed Discrete-Event Systems with Uniformly and Nonuniformly Bounded Diagnosis Delays. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Avenir Kobetski, Martin Fabian |
Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen Shen, Yu-Chi Ho, Qianchuan Zhao |
Ordinal Optimization and Quantification of Heuristic Designs. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar |
Special Issue on WODES'08. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Gaujal, Florence Perronnin, Rémi Bertin |
Perfect Simulation of a Class of Stochastic Hybrid Systems with an Application to Peer to Peer Systems. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Hybrid stochastic systems, Peer to peer systems, Perfect simulation |
| 1 | Weilin Wang, Stéphane Lafortune, Feng Lin |
On the Minimization of Communication in Networked Systems with a Central Station. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Minimum communication, Distributed control, Discrete-event systems, Distributed diagnosis |
| 1 | George Jiroveanu, René K. Boel, Behzad Bordbar |
On-Line Monitoring of Large Petri Net Models Under Partial Observation. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Monitoring, Diagnosis, DES |
| 1 | Eckart Mayer, Utz-Uwe Haus, Jörg Raisch, Robert Weismantel |
Throughput-Optimal Sequences for Cyclically Operated Plants. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Integer programming, Cyclic scheduling, High throughput screening |
| 1 | Andrea Paoli, Stéphane Lafortune |
Diagnosability Analysis of a Class of Hierarchical State Machines. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser |
| 1 | Xi-Ren Cao |
Editorial. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ho Woo Lee, Sahng Hoon Cheon, Se Won Lee, Jung Woo Baek |
Performance of the MAP/G/1 Queue Under the Dyadic Control of Workload and Server Idleness. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
MAP/G/1 queue, Dyadic control, Workload and server idleness |
| 1 | Anne Bouillard, Bruno Gaujal |
Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Heaps of pieces, Max-plus systems, Petri nets, Perfect simulation |
| 1 | Olivier Marchetti, Alix Munier Kordon |
Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Petri nets, Manufacturing, Liveness, Buffer requirement |
| 1 | Sem C. Borst, Matthieu Jonckheere, Lasse Leskelä |
Stability of Parallel Queueing Systems with Coupled Service Rates. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Positive recurrence, Multiclass birth and death process, Foster-Lyapunov drift criterion, Coupled processors, Stability, Stochastic comparison |
| 1 | Thu-Ha Dao-Thi, Jean Mairesse |
Zero-Automatic Networks. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Kelly network, Zero-automatic, Queueing theory, Product form, Jackson network |
| 1 | Stephanie Geist, Dmitry Gromov, Jörg Raisch |
Timed Discrete Event Control of Parallel Production Lines with Continuous Outputs. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Multirate timed automata, Parallel production lines, Scheduling, Verification, Hybrid systems, Discrete event control |
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala |
Analyzing Security Protocols Using Time-Bounded Task-PIOAs. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer |
| 1 | Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon |
DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard, A. Agung Julius, George J. Pappas |
Approximate Simulation Relations for Hybrid Systems. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Approximate simulation relation, Approximation, Abstractions, Hybrid systems |
| 1 | Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli |
Compositionally Progressive Solutions of Synchronous FSM Equations. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Language equations, Progressive solutions, Synchronous composition, Finite state machines |
| 1 | Jing Xu, Laura Recalde, Manuel Silva |
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Join-free timed continuous Petri net, Input constraints, Convergence analysis, Tracking control |
| 1 | Anne Bouillard, Eric Thierry |
An Algorithmic Toolbox for Network Calculus. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Functional (min,+) algebra, Algorithmics, Computational complexity, Network calculus |
| 1 | Marc Lelarge |
Tail Asymptotics for Discrete Event Systems. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Queueing theory, Large deviations |
| 1 | Jan Lunze |
Fault Diagnosis of Discretely Controlled Continuous Systems by Means of Discrete-Event Models. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Embedded map, Nondeterministic automaton, Fault diagnosis, Hybrid system, Completeness, Semi-Markov process, Timed automaton, Model abstraction |
| 1 | Eitan Altman, Bruno Gaujal, Jean Mairesse |
Guest Editorial. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah-Jane Whittaker, Karen Rudie |
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Supervisor reduction, Automata, Discrete-event systems, Supervisory control |
| 1 | Ion Necoara, Bart De Schutter, Ton J. J. van den Boom, Hans Hellendoorn |
Stable Model Predictive Control for Constrained Max-Plus-Linear Systems. |
Discrete Event Dynamic Systems |
2007 |
DBLP DOI BibTeX RDF |
Max-plus-linear systems, Input-state constraints, Positively invariant sets, Stability, Discrete-event systems, Model predictive control |
| 1 | Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat |
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. |
Discrete Event Dynamic Systems |
2007 |
DBLP DOI BibTeX RDF |
State classes, Real-time systems modeling and verification, Approximation, Decidability, Time Petri nets, Reachability, Stopwatches |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")