| Paper Code | Title | Authors |
|---|
| Mo-E12-TO/1 | MPC for max-plus-linear systems with guaranteed stability | van den Boom Ton J.J., De Schutter B. |
| Mo-E12-TO/2 | Issues in Optimal Control of Dynamic Discrete-Event Systems | Grigorov Lenko, Rudie Karen |
| Mo-E12-TO/3 | Optimal Control synthesis in Interval Descriptor Systems Application to Time Stream Event Graphs | Declerck Philippe, Didi Alaoui Mohamed Khalid |
| Mo-E12-TO/4 | Direct Feedback in Automata Networks | Neidig Jörg, Lunze Jan |
| Mo-E12-TO/5 | Stochastic equivalence of CPDP-automata and Piecewise Deterministic Markov Processes | Strubbe Stefan, van der Schaft Arjan |
| Mo-M12-TO/1 | Feedback Control Logic for Backward Conflict Free Choice Nets | Basile Francesco, Carbone Ciro, Chiacchio Pasquale |
| Mo-M12-TO/2 | Optimal Observability for Continuous Petri Nets | Mahulea Cristian, Recalde Laura, Silva Manuel |
| Mo-M12-TO/3 | Modelling and Controlling Traffic Behaviour with Continuous Petri Nets | Julvez Jorge, Boel Rene |
| Mo-M12-TO/4 | A Recursive Method for Minimal Siphon Enumeration in Petri Nets | Benigno Arianna, Cordone Roberto, Ferrarini Luca, Piroddi Luigi |
| Mo-M12-TO/5 | A Diagnosis Framework of Hybrid Dynamic Systems based on Time Fuzzy Petri Nets | Rocha Loures Eduardo, Pascal Jean-Claude |
| Mo-M12-TO/6 | Immediate Diagnosis of Faulty Behaviours with Petri Net Models | Lefebvre Dimitri |
| Tu-A12-TO/1 | Supervisory Control Problems for Nondeterministic Discrete-Event Systems: A Logical Approach | Pinchinat Sophie, Raclet Jean-Baptiste |
| Tu-A12-TO/2 | Nonblocking control of Petri nets using unfolding | Giua Alessandro, Xie Xiaolan |
| Tu-A12-TO/3 | A Discrete-Event Systems Model For Congestion Control | Rohloff Kurt, Alpcan Tansu, Basar Tamer |
| Tu-A12-TO/4 | Fault diagnosis for distributed asynchronous dynamically reconfigured discrete event systems | Haar Stefan, Benveniste Albert, Fabre Eric, Jard Claude |
| Tu-A12-TO/5 | Modular Multitasking Supervisory Control of Composite Discrete-Event Systems | de Queiroz Max, Cury José |
| Tu-A12-TO/6 | Modular Antipermissive Control of Discrete-Event Systems | Komenda Jan, van Schuppen Jan H. |
| Tu-E12-TO/1 | Vector L 2-Gain and a Small Gain Theorem for Switched Systems | Zhao Jun, Hill David J. |
| Tu-E12-TO/2 | Stability of a Class of Hybrid Impulsive and Switching Systems | Guan Zhi-Hong, Hill David J., Shen Xuemin (Sherman) |
| Tu-E12-TO/3 | Invariant Sets for Switched Discrete Time Systems subject to Bounded Disturbances | Grieder Pascal, Rakovic S.V., Morari M., Mayne D.Q. |
| Tu-E12-TO/4 | Reachability Analysis of Switched Linear Systems with Switching/Input Constraints | Sun Zhendong |
| Tu-E12-TO/5 | Switched state jump observers for switched systems | Pettersson Stefan |
| Tu-E12-TO/6 | Suboptimal control of switched nonlinear systems under location and switching constraints | Attia Sid Ahmed, Alamir Mazen, Canudas de Wit Carlos |
| Tu-M12-TO/1 | Computation of closed, controllable, and weakly observable sublanguages for timed discrete event systems | Takai Shigemasa, Ushio Toshimitsu |
| Tu-M12-TO/2 | Efficient Computation of supervisors for loosely synchronous Discrete Event Systems: A State-Based Approach | Gaudin Benoit, Marchand Herve |
| Tu-M12-TO/3 | Approximating Minimal Communicated Event Sets for Decentralized Supervisory Control | Rohloff Kurt, van Schuppen Jan H. |
| Tu-M12-TO/4 | On the supervisory control for state trajectory specifications in time-varying discrete-event systems | Guay Martin, Romanovski I., Rudie K. |
| Tu-M12-TO/5 | Nonblocking Hierarchical Control of Decentralized DES | Schmidt Klaus, Perk Sebastian, Moor Thomas |
| Tu-M12-TO/6 | Improving the behaviour of supervisor under blocking | Kaymakci Ozgur Turay, Gören Leyla, Kurtulan Salman |
| We-A12-TO/1 | Switching observer design for an experimental piece-wise linear beam system | Doris Apostolos, Juloski A.Lj., Heemels W.P.M.H., van de Wouw N., Nijmeijer H. |
| We-A12-TO/2 | Sliding Mode Observer For Triangular Input Hybrid System | Djemai Mohamed, Manamanni Noureddine, Barbot Jean-Pierre |
| We-A12-TO/3 | Observer design for Lur'e systems with multivalued mappings | Juloski Aleksandar, Heemels Maurice, Brogliato Bernard |
| We-A12-TO/4 | Digital idle speed control of automotive engines using hybrid models | Girasole Giovanni, De Santis Elena, Di Benedetto Maria Domenica |
| We-A12-TO/5 | Stabilization of switched systems via optimal control | Corona Daniele, Alessandro Giua, Carla Seatzu |
| We-A12-TO/6 | On Suboptimal Control Design for Hybrid Automata using Predictive Control Techniques | Spathopoulos Michael, Pang Yan, Raisch Joerg |
| We-E12-TO/1 | A Graph of State Classes for Fuzzy Time Petri Nets | Cardoso Janette, Sebastien Cousy, Guy Juanole |
| We-E12-TO/2 | Flow Control for Continuous Petri Net Models of HDS : Stability Issues | Lefebvre Dimitri, Thomas Philippe, Leclercq Edouard, Druaux Fabrice |
| We-E12-TO/3 | Uncertainty in Hybrid Systems and The Fire Management System Design | Villani Emilia, Kaneshiro Percy Igei, Miyagi Paulo Eigi |
| We-E12-TO/4 | Perturbation Analysis and Feedback Control of Communication Networks Using Stochastic Hybrid Models | Cassandras Christos G., Yu Haining |
| We-E12-TO/5 | Physical Switching Systems: Hybrid Incidence Matrices for Structured Modelling and Analysis | Valentin Claire, Magos Miguel, Maschke Bernhard |
| We-E12-TO/6 | A Hybrid Mechatronic Tilting Robot: Modeling, Trajectories, and Control | Sobotka Marion, Buss Martin |
| We-M12-TO/1 | Analysis and design of discretely controlled switched positive systems | Lunze Jan, Kamau S. I. |
| We-M12-TO/2 | Synthesis of Supervisory Controllers for Hybrid Systems Using Abstraction Refinement | Stursberg Olaf |
| We-M12-TO/3 | Hierarchical hybrid control of a multiproduct batch plant | Moor Thomas, Raisch Joerg |
| We-M12-TO/4 | Hybrid Abstractions of Affine Systems | Gueguen Herve, Lefebvre Marie-Anne |
| We-M12-TO/5 | Sampling-Based Planning, Control, and Verification of Hybrid Systems | Branicky Michael S., Curtiss Michael M., Levine Joshua, Morgan Stuart |
| We-M12-TO/6 | Symbolic Temporal Constraint Analysis, An Approach for Verifying Hybrid Systems | Riviere Nicolas, Demmou Hamid, Valette Robert, Medjoudj Malika |
| Th-E12-TO/1 | A Survey on Stability Analysis of Discrete-Time Piecewise Affine Systems | Biswas Pratik, Grieder Pascal, Loefberg Johan, Morari Manfred |
| Th-E12-TO/2 | Continuous Representation for a Class of Optimal Hybrid Control Problems | Gapaillard Muriel |
| Th-E12-TO/3 | Explicit Hybrid Optimal Controller for Disturbance Attenuation in Linear Hybrid Systems | Lin Hai, Zhai Guisheng, Antsaklis Panos J. |
| Th-E12-TO/4 | Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems | Del Vecchio Domitilla, Murray Richard M. |
| Th-E12-TO/5 | Hybrid Model Predictive Control in Supermarket Refrigeration Systems | Larsen Lars Finn Sloth, Geyer Tobias, Morari Manfred |
| Th-E12-TO/6 | Steam Generator Water Level Control: A Hybrid System Approach | Dumur Didier, Thomas Jean, Buisson Jean, Bendotti Pascale, Falinower Clément-Marc |
| Th-M13-TO/4 | Process Algebraic Approach to Hybrid Systems | Krilavicius Tomas, Brinksma Ed, Usenko Yaroslav S. |
| Fr-M02-TP/1 | A Monitoring Approach for Discrete Event Systems based on a Time Petri Net Model | Ghazel Mohamed, Toguyéni Armand, Bigand Michel |
| Fr-M02-TP/2 | A Petri net-based Deadlock Control Policy for Flexible Assembly Systems | Zhou MengChu, Wu Naiqi, Roszkowska Elzbieta |
| Fr-M02-TP/3 | Batch Deterministic and Stochastic Petri Nets: „Modelling, Analysis and Application to Inventory Systems” | Labadi Karim, Chen Haoxun, Amodeo Lionel, Chu Chengbin |
| Fr-M02-TP/4 | Continuous Optimization Approaches to the Identification of Piecewise Affine Systems | Münz Eberhard, Krebs Volker |
| Fr-M02-TP/5 | Control of Discrete-Time Piecewise Affine Systems | Hodrus Thomas Erhard, Buchholz Michael, Krebs Volker |
| Fr-M02-TP/6 | Design of Robust Parametric MPC for Hybrid Systems | Manthanwar Amit M., Sakizlis Vassilis, Pistikopoulos Efstratios N. |
| Fr-M02-TP/7 | Hierarchical Interface-based Supervisory Control of a Bottling Plant | Wenck Florian, Richter Jan H. |
| Fr-M02-TP/8 | Modular Finite State Machines Implemented As Event-Condition-Action Systems | Almeida Emanuel, Luntz Jonathan, Tilbury Dawn |
| Fr-M02-TP/9 | On the Design of Lyapunov Functions for State-Dependent Impulsive | Burlion Laurent, Ahmed-Ali Tarek, Lamnabhi-Lagarrigue Françoise |
| Fr-M02-TP/10 | On the existence of Petri net Controller for Discrete Event Systems under Partial Observation | Achour Zied, Rezg Nidhal, Xie Xiaolan |
| Fr-M02-TP/11 | Passivity Analysis and Passification of Discrete-Time Hybrid Systems | Bianchini Gianni, Bemporad Alberto, Barbagli Federico, Brogi Filippo |
| Fr-M02-TP/12 | Rapid Prototyping of Sequential Controllers with Petri-Nets | Orth Philipp, Bollig Alexander, Abel Dirk |
| Fr-M02-TP/13 | Synthesis of Operating Procedures for Cleaning Pipeline Networks Using Petri Nets | Chang Chuei-Tin, Chou Hong-Hsiang, Chung Li-Ping |
