Table of Contents

• PrefaceAlessandro Giua, Cristian Mahulea, Manuel Silva 0001, Janan Zaytoon. [doi]
• Model Predictive Control techniques for Hybrid SystemsEduardo F. Camacho, Daniel R. Ramírez, Daniel Limón, David Muñoz de la Peña, Teodoro Alamo. 1-13 [doi]
• Hierarchical and Hybrid Model Predictive Control of Quadcopter Air VehiclesAlberto Bemporad, Carlo A. Pascucci, Claudio Rocchi. 14-19 [doi]
• Hybrid control for a solar desalination plantLidia Roca, José Luis Guzmán, Manolo Berenguel, Luis José Yebra. 20-25 [doi]
• Hybrid Modeling of a Solar Cooling SystemManuel Pasamontes, José Domingo Álvarez, José Luis Guzmán, Manuel Berenguel. 26-31 [doi]
• Hybrid modelling and control of a power plant three-stage reheaterJaroslav Hlava. 32-37 [doi]
• Asymmetric Limit Cycles in an Industrially Applied Controlled Resonant ConverterAnders Hultgren, Jan Melin, Per Ranstad. 38-43 [doi]
• An Efficient Heuristics for Minimum Time Control of Continuous Petri netsHanife Apaydin Özkan, Jorge Júlvez, Cristian Mahulea, Manuel Silva 0001. 44-49 [doi]
• A Continuous Petri Net Model for the Management and Design of Emergency Cardiology DepartmentsMariagrazia Dotoli, Maria Pia Fanti, Agostino Marcello Mangini, Walter Ukovich. 50-55 [doi]
• Hybrid Approximations of Markovian Petri NetsCarlos Renato Vázquez, Manuel Silva 0001. 56-61 [doi]
• Approximation of MTS stochastic Petri nets steady state by means of continuous Petri nets: a numerical approachDimitri Lefebvre, Edouard Leclercq, Leila Khalij, José Eduardo Souza de Cursi, Nabil El Akchioui. 62-67 [doi]
• Symmetries in Timed Continuous Petri NetsAnna-Lena Meyer, Michael Dellnitz. 68-73 [doi]
• A DEVS - based End-to-end Methodology for Hybrid Control of Embedded Networking SystemsRodrigo Castro, Ernesto Kofman, Gabriel A. Wainer. 74-79 [doi]
• Object-oriented modelling and simulation of starch mashingAlberto Leva, Filippo Donida, Michele Bordoni. 80-85 [doi]
• Modeling of the ARGESIM "Crane and Embedded Controller" System using the DEVSLib Modelica libraryVictorino Sanz, François E. Cellier, Alfonso Urquia, Sebastián Dormido 0001. 86-91 [doi]
• A Hybrid Object-Oriented Library for the Simulation of Sugar HousesRogelio Mazaeda, César de Prada, Alejandro Merino Gómez, Felipe Acebes. 92-97 [doi]
• Pursuit of an Evader with Hybrid DynamicsJosef Shinar, Valery Y. Glizer, Vladimir Turetsky. 98-103 [doi]
• Optimal Control of Hybrid Systems by Logic-Based Benders DecompositionAkbar Hashemi Borzabadi, Mohammd E. Sadjadi. 104-107 [doi]
• Real-time optimal feedback control of switched autonomous systemsXu Chu Ding, Axel Schild, Magnus Egerstedt, Jan Lunze. 108-113 [doi]
• Numerical method for optimal stopping of hybrid processesBenoîte de Saporta, François Dufour, Karen Gonzalez. 114-119 [doi]
• A Generalization of a Polynomial Optimal Control of Switched SystemsEduardo Mojica-Nava, Nicanor Quijano, Naly Rakoto-Ravalontsalama. 120-125 [doi]
• Design of Logic Feedback Controllers for Discretely Controlled Continuous SystemsThanh Ha Tran, Sebastian Engell. 126-131 [doi]
• Max-Plus Algebraic Modeling and Control of High-Throughput Screening Systems with Multi-Capacity ResourcesThomas Brunsch, Jörg Raisch. 132-137 [doi]
• Hybrid positive systems subject to Markovian switchingMustapha Ait Rami, Jeff S. Shamma. 138-143 [doi]
• Interval-based Solving of Hybrid Constraint SystemsDaisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn. 144-149 [doi]
• A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid SystemsSean Summers, John Lygeros. 150-155 [doi]
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniquesNacim Ramdani, Nedialko S. Nedialkov. 156-161 [doi]
• Constraint-Based Analysis of Probabilistic Hybrid SystemsTino Teige, Martin Fränzle. 162-167 [doi]
• State Constrained Reachability for Stochastic Hybrid SystemsManuela L. Bujorianu, Marius C. Bujorianu. 168-173 [doi]
• Stabilization of discrete-time switching systems including modal nonlinearities and saturating actuatorsMarc Jungers, Eugênio B. Castelan, Jamal Daafouz, Sophie Tarbouriech. 174-179 [doi]
• Stability Analysis of reset control systems with reset bandAlfonso Baños, Sebastián Dormido 0001, Antonio Barreiro. 180-185 [doi]
• Switching Between Controllers Using Replicator DynamicsIván Muñoz, Eduardo Mojica-Nava, Nicanor Quijano. 186-191 [doi]
• On Performance Analysis of Time Delay Systems using a Switched System ApproachJulie Melin, Marc Jungers, Jamal Daafouz, Claude Iung. 192-197 [doi]
• Constrained state feedback control of piecewise affine systemsRadouane Kara, Mourad Ahmane, Jean Jacques Loiseau, Saïd Djennoune. 198-203 [doi]
• Continuity Properties of Nonlinear Affine Control Systems: Applications to Hybrid and Sliding Mode DynamicsVadim Azhmyakov, Magnus Egerstedt, Leonid M. Fridman, Alex Poznyak. 204-209 [doi]
• Homogeneous High-Order Sliding ModesArie Levant. 210-215 [doi]
• High-order sliding modes observer for linear systems with unbounded unknown inputsLeonid M. Fridman, Arie Levant, Jorge Davila. 216-221 [doi]
• On Robust Output Based Finite-Time Control of LTI systems using HOSMsMarco Tulio Angulo, Arie Levant. 222-227 [doi]
• Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systemsNicola Orani, Alessandro Pisano, Mauro Franceschelli, Alessandro Giua, Elio Usai. 228-233 [doi]
• Control of Piecewise-Affine Hybrid Systems - Extended abstractPieter J. Collins, Luc C. G. J. M. Habets, Mihály Petreczky, Jan H. van Schuppen. 234-237 [doi]
• Playing Games with Timed GamesThomas Chatain, Alexandre David, Kim G. Larsen. 238-243 [doi]
• Design Principles for an Extendable Verification Tool for Hybrid SystemsGoran Frehse, Rajarshi Ray 0001. 244-249 [doi]
• New Concepts in the Abstract Format of the Compositional Interchange FormatDirk A. van Beek, Pieter J. Collins, D. E. Nadales Agut, J. E. Rooda, Ramon R. H. Schiffelers. 250-255 [doi]
• Perturbation Analysis and Resource Contention Games in Multiclass Stochastic Flow ModelsChen Yao, Christos G. Cassandras. 256-261 [doi]
• A Hybrid, Multi-Agent Model of Foraging Bottlenose DolphinsMusad A. Haque, Amirreza Rahmani, Magnus Egerstedt. 262-267 [doi]
• Application of IPA to Fluid Petri NetsAlessandro Giua, Carla Seatzu, Yorai Wardi. 268-273 [doi]
• How to Capture Hybrid Systems Evolution Into Slices of Parallel HyperplanesTomás Dzetkulic, Stefan Ratschan. 274-279 [doi]
• Limited-Time Lookahead Diagnosability of Rectangular Hybrid AutomataHaithem Derbel, Nejib Ben Hadj-Alouane, Moez Yeddes, Hassane Alla. 280-285 [doi]
• Probabilistic regulation in stochastic hybrid systems subject to safety constraintsDebasish Chatterjee, Eugenio Cinquemani, John Lygeros. 286-291 [doi]
• Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available ToolsMartín Guillermo, Ibtissem Ben Makhlouf, Stefan Kowalewski, Chávez Grunewald, Dirk Abel. 292-297 [doi]
• Optimizing Hybrid Control Trajectories by Model abstraction and RefinementTina Paschedag, Michael Fall, Olaf Stursberg. 298-303 [doi]
• Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal ControlBenjamin Passenberg, Olaf Stursberg. 304-309 [doi]
• Geometrical Properties of Optimal Hybrid System Trajectories and the Optimization of Switching ManifoldsFarzin Taringoo, Peter E. Caines. 310-315 [doi]
• Optimal Control for Deterministic Hybrid Systems using Dynamic ProgrammingMatthias Rungger, Olaf Stursberg. 316-321 [doi]
• Hybrid-automaton models for simulating systems with sliding motion: still a challengeEva M. Navarro-López. 322-327 [doi]
• Compositional and Assume-Guarantee Reasoning for Switching Linear SystemsFlorian Kerber, Arjan van der Schaft. 328-333 [doi]
• Sampled-data control of hybrid systems with discrete inputs and outputsMihály Petreczky, Pieter Collins, Dirk A. van Beek, Jan H. van Schuppen, Jacobus E. Rooda. 334-339 [doi]
• Dissipativity of Switched Systems With Application to Supervisory Fault Tolerant ControlHao Yang 0001, Vincent Cocquempot, Bin Jiang 0001. 340-345 [doi]
• Real time control via a high order sliding mode controller of a multi-cellular converterMohamed Djemai, Krishna Busawon, K. Benmansour, Alaa Marouf. 346-351 [doi]
• Finite-Time Converging Jump Observer for Linear Switched Systems with Unknown InputsFrancisco Javier Bejarano, Alessandro Pisano, Elio Usai. 352-357 [doi]
• Finite-time observation of the continuous and discrete state for a class of nonlinear switched dynamicsJorge Davila, Alessandro Pisano, Elio Usai. 358-363 [doi]
• Stabilization of switched linear systems: a sliding mode approachThierry Floquet, Laurentiu Hetel, Wilfrid Perruquetti. 364-369 [doi]
• Exact Observer for Switching Linear Systems via Super-Twisting AlgorithmFrancisco Javier Bejarano, Leonid M. Fridman. 370-375 [doi]
• Towards Computational Hybrid System Semantics for Time-Based Block DiagramsPieter J. Mosterman, Justyna Zander, Grégoire Hamon, Ben Denckla. 376-385 [doi]
• Switched system modeling and robust steering control of the tail end phase in a hot strip millIvan Malloci, Jamal Daafouz, Claude Iung, Patrick Szczepanski. 386-391 [doi]
• Robust Fault Detection Based-Observer for Linear Switched SystemsDjamel E. C. Belkhiat, Nadhir Messai, Noureddine Manamanni. 392-397 [doi]
• Robust PI observer design for hybrid heterogeneous multiple models with delayed measurementsRodolfo Orjuela, Benoît Marx, José Ragot, Didier Maquin. 398-403 [doi]
• Algebraic switching time identification for a class of linear hybrid systemsYang Tian, Thierry Floquet, Lotfi Belkoura, Wilfrid Perruquetti. 404-408 [doi]
• Real-time estimation of the switching signal for perturbed switched linear systemsMichel Fliess, Cédric Join, Wilfrid Perruquetti. 409-414 [doi]
• Switched affine models for describing nonlinear systemsLaurent Bako, Khaled Boukharouba, Eric Duviella, Stéphane Lecoeuche. 415-420 [doi]