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