default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. WODES 2014: Cachan, France
- Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson:
12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014. International Federation of Automatic Control 2014, ISBN 978-3-902823-61-8 - Jun Chen
, Ratnesh Kumar:
Pattern Mining for Predicting Critical Events from Sequential Event Data Log. 1-6 - Christoforos Keroglou, Christoforos N. Hadjicostis:
Hidden Markov Model Classification Based on Empirical Frequencies of Observed Symbols. 7-12 - Jérémie Saives, Gregory Faraut:
Automated Generation of Models of Activities of Daily Living. 13-20 - Stefan Marco Schneider, Lothar Litz:
Automatic Partitioning of DES Models for Distributed Fault Diagnosis Purposes. 21-26 - Christoforos Keroglou, Christoforos N. Hadjicostis:
Detectability in Stochastic Discrete Event Systems. 27-32 - Yi-Chin Wu, Karthik Abinav Sankararaman, Stéphane Lafortune:
Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement. 33-38 - Narges Khakpour, Farhad Arbab, Éric Rutten:
Supervisory Controller Synthesis for Safe Software Adaptation. 39-45 - Nicolas Berthier, Hervé Marchand:
Discrete Controller Synthesis for Infinite State Systems with ReaX. 46-53 - Sébastien Guillet, Bruno Bouchard, Abdenour Bouzouane:
Designing Smart Homes Dedicated to Disabled People Using Modular Discrete Controller Synthesis. 54-59 - Salam Hajjar, Emil Dumitrescu, Laurent Piétrac, Éric Niel:
A Design Method for Synthesizing Control-Command Systems Out of Reusable Components. 60-65 - Ziyue Ma, Zhiwu Li, Alessandro Giua:
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. 66-72 - Francesco Basile, Luigi Piroddi, Roberto Cordone:
Decentralized Monitors Design for Petri Net Models. 73-79 - Yufeng Chen, Zhiwu Li, Kamel Barkaoui:
Maximally Permissive Petri Net Supervisors with a Novel Structure. 80-85 - Bengt Lennartson, Oskar Wigström, Martin Fabian, Francesco Basile:
Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. 86-92 - Chiheb Ameur Abid, Soukaina Ben Mohamed, Belhassen Zouari:
An Active Controller Based on Parikh Vectors. 93-98 - Philippe Declerck:
Causality Phenomenon and Compromise Technique for Predictive Control of Timed Event Graphs with Specifications Defined by P-Time Event Graphs. 99-104 - Xavier David-Henriet, Jörg Raisch, Laurent Hardouin, Bertrand Cottenceau:
Modeling and Control for Max-Plus Systems with Partial Synchronization. 105-110 - Jia Xu, Bart De Schutter, Ton J. J. van den Boom:
Model Predictive Control for Max-Plus-Linear Systems Via Optimistic Optimization. 111-116 - Dieky Adzkiya, Bart De Schutter, Alessandro Abate:
Backward Reachability of Autonomous Max-Plus-Linear Systems. 117-122 - Rabah Ammour, Saïd Amari:
Evaluation of Response Time Bounds in Producer/Consumer Networked Control Systems Using (Max, +) Algebra. 123-128 - Roberto Ross-León, Antonio Ramírez-Treviño, Javier Ruiz-León, Enrique Aguayo-Lara:
Local Control Law for Live and Bounded Continuous Petri Nets. 129-134 - Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
K-Diagnosability of Time Labeled Petri Nets. 135-141 - Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez:
The "bound Reaching Problem" on the Fluidization of Timed Petri Nets. 142-148 - Marwa Taleb, Edouard Leclercq, Dimitri Lefebvre:
Control Design of Timed Petri Nets Via Model Predictive Control with ContPNs. 149-154 - Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. 155-161 - Nesrine Darragi, El-Miloudi El-Koursi, Simon Collart Dutilleul:
From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis. 162-169 - Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya:
Model Checking Logical Regulatory Networks. 170-175 - Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Graziana Cavone:
A Timed Petri Nets Model for Intermodal Freight Transport Terminals. 176-181 - Kunihiko Hiraishi, Koichi Kobayashi:
Detection of Unusual Human Activities Based on Behavior Modeling. 182-187 - Lennart Swartjes, Dirk A. van Beek, Michel A. Reniers:
Towards the Removal of Synchronous Behavior of Events in Automata. 188-194 - Blake C. Rawlings, Ben Christenson, John M. Wassick, B. Erik Ydstie:
Supervisor Synthesis to Satisfy Safety and Reachability Requirements in Chemical Process Control. 195-200 - Ahmad Reza Shehabinia, Liyong Lin, Rong Su, Chin Soon Chong:
Supervisory Control for a Class of Discrete Event Systems for Optimal Throughput. 201-207 - Kai Cai, Renyuan Zhang, Walter Murray Wonham:
On Relative Observability of Timed Discrete-Event Systems. 208-213 - Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch:
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. 214-221 - Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 222-227 - Mohammad Reza Shoaei, Bengt Lennartson:
Symbolic Interpretation and Execution of Extended Finite Automata. 228-234 - Julia Lima Fleck, Christos G. Cassandras:
Infinitesimal Perturbation Analysis for Quasi-Dynamic Traffic Light Controllers. 235-240 - Marie Chau, Huashuai Qu, Michael C. Fu:
A New Hybrid Stochastic Approximation Algorithm. 241-246 - Di Wu, Qing-Shan Jia:
Sample Path Sharing in Policy Improvement for Indoor Air Temperature Control. 247-252 - Xi-Ren Cao, Xiangwei Wan:
How Does Perturbation Analysis Work in Finance and Economics? 253-258 - Carla Seatzu, Yorai Wardi:
Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems. 259-264 - Constantinos Heracleous, Zinon Zinonos, Christos G. Panayiotou:
Water Supply Optimization: An IPA Approach. 265-270 - Germano Schafaschek, Max H. Queiroz, José E. R. Cury:
Local Modular Supervisory Control of Timed Discrete-Event Systems. 271-277 - Allan van Hulst, Michel A. Reniers, Wan J. Fokkink:
Maximal Synthesis for Hennessy-Milner Logic with the Box Modality. 278-285 - Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann:
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. 286-293 - Marcos Vinícius Silva Alves, João Carlos Basilio, Antonio Eduardo Carrilho da Cunha, Lilian Kawakami Carvalho, Marcos Vicente Moreira:
Robust Supervisory Control against Intermittent Loss of Observations. 294-299 - Thomas Moor:
Natural Projections for the Synthesis of Non-Conflicting Supervisory Controllers. 300-305 - Zheng Wang, Hualing Mu, Jia You:
Analysis of a Serial Production Line with Single Part-Type and Multiple Parallel-Machine Workstations. 306-313 - Yanyan Tong, Jianfeng Mao:
Towards Green Shipping with Integrated Bunkering and Cruising Policy. 314-319 - Felisa J. Vázquez-Abad, Pinhus Dashevsky, Matthew P. Johnson:
LP-Based Approaches to Stationary-Constrained Markov Decision Problems. 320-325 - Markus Schori, Thomas J. Böhme, Benjamin Frank, Matthias Schultalbers:
Control Optimization of Discontinuous Hybrid Systems Using Embedding. 326-331 - Jennie Lioris, Alex A. Kurzhanskiy, Pravin Varaiya:
Control Experiments for a Network of Signalized Intersections Using the '.Q' Simulator. 332-337 - Yin Tong, Zhiwu Li, Alessandro Giua:
Observation Equivalence of Petri Net Generators. 338-343 - John Mullins, Moez Yeddes:
Opacity with Orwellian Observers and Intransitive Non-Interference. 344-349 - Hugo J. Bravo, Patrícia Nascimento Pena, Antonio Eduardo Carrilho da Cunha, Robi Malik, José E. R. Cury:
Generalised Search for the Observer Property in Discrete Event Systems. 350-355 - Misato Yokotani, Shigemasa Takai:
Abstraction-Based Verification for Partially Observed Discrete Event Systems. 356-361 - Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson:
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems. 362-369 - Mohammad Hadi Zibaeenejad, John G. Thistle:
Deadlock Analysis of Generalized Parameterized Discrete Event Systems. 370-375 - Sahar Mohajerani, Robi Malik, Martin Fabian:
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. 376-382 - GaiYun Liu, Zhiwu Li, Abdulrahman Al-Ahmari:
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. 383-387 - Bernard Riera, Raphaël Coupat, Alexandre Philippot, François Gellot, David Annebicque:
Control Design Pattern Based on Safety Logical Constraints for Manufacturing Systems: Application to a Palletizer. 388-393 - Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez:
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. 394-399 - Sebastian Biallas, Stefan Kowalewski, Stefan Stattelmann, Bastian Schlich:
Efficient Handling of States in Abstract Interpretation of Industrial Programmable Logic Controller Code. 400-405 - Hélène Leroux, Karen Godary-Dejean, David Andreu:
Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions. 406-411 - Anaïs Guignard, Jean-Marc Faure:
A Conformance Relation for Model-Based Testing of PLC. 412-419 - Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand:
Runtime Enforcement of Parametric Timed Properties with Practical Applications. 420-427 - Ayse Nur Sulek, Klaus Werner Schmidt:
Computation of Supervisors for Fault-Recovery and Repair for Discrete Event Systems. 428-433 - Xu Wang, Cristian Mahulea, Manuel Silva Suárez:
Model Checking on Fault Diagnosis Graph. 434-439 - Leonardo P. M. Santoro, Marcos Vicente Moreira, João Carlos Basilio, Oumar Diene:
Computation of Minimal Diagnosis Bases of Discrete-Event Systems Using Verifiers: Method of the Ambiguous Cyclic Paths. 440-445 - Melanie Schmidt, Jan Lunze:
A Framework for Active Fault-Tolerant Control of Deterministic I/O Automata. 446-452 - Dimitri Lefebvre:
Fault Probability Evaluation in DESs with an Algorithm of Linear Complexity and Partially Observed SPNs. 453-458 - Houssam-Eddine Gougam, Audine Subias, Yannick Pencolé:
Discriminability Analysis of Supervision Patterns by Net Unfoldings. 459-464 - Bertrand Cottenceau, Sébastien Lahaye, Laurent Hardouin:
Modeling of Time-Varying (max, +) Systems by Means of Weighted Timed Event Graphs. 465-470 - Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond:
Modeling of Timed Petri Nets Using Deterministic (max, +) Automata. 471-476 - Vera Pantelic, Mark Lawford, Steven M. Postma:
A Framework for Supervisory Control of Probabilistic Discrete Event Systems. 477-484 - Oskar Wigström, Bengt Lennartson:
An Integrated CP/OR Method for Optimal Control of Modular Hybrid Systems. 485-491 - Dieter Fiems, Koen De Turck:
Series Expansion Techniques for Fast Evaluation of Acyclic Finite-Capacity Queueing Networks. 492-497 - Bernd Heidergott, Djamil Aïssani, Zina Hamoudi:
Non-Parametric Sensitivity Analysis of the Finite M/M/1 Queue. 498-503 - Karim Abbas, Sofiane Ouazine:
A Numerical Analysis of the M/G/1/N Queue with Vacations. 504-509 - Joost Berkhout, Bernd Heidergott:
A Series Expansion Approach to Risk Analysis of an Inventory System with Sourcing. 510-515
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-04-25 17:35 CEST 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:
