
Final
Program


PLENARIES


P1

Chattering Problem in Sliding Mode Control Systems, V. Utkin


P2

Challenges and Opportunities for System Theory in
Embedded Controller Design, A.
SangiovanniVincentelli


P3

Optimal Control in Hybrid Systems, C. Iung






THURSDAY JUNE 8






WA1 – Observers for Hybrid Systems


WA1.1

Convergent design of
switched linear systems, R.A. van den
Berg, A.Y. Pogromsky, J.E. Rooda


WA1.2

Observer design for a
class of discrete time piecewiselinear systems, A. Birouche, J. Daafouz, C. Iung


WA1.3

Designing switched
observers for switched systems using multiple Lyapunov functions and
dwelltime switching, S. Pettersson


WA1.4

Critical states
detection with bounded probability of false alarm and application to air
traffic management, M.D. Di
Benedetto, S. Di Gennaro, A. D'Innocenzo






WA2  Continuous and Hybrid Petri Nets


WA2.1

Tracking control of
joinfree timed continuous Petri net systems, J. Xu, L. Recalde, M. Silva


WA2.2

On sampling continuous
timed Petri nets: reachability "equivalence" under infinite
servers semantics, C. Mahulea, A.
Giua, L. Recalde, C. Seatzu, M. Silva


WA2.3

Modelling distributed
manufacturing systems via first order hybrid Petri nets, M. Dotoli, M.P. Fanti, A.M. Mangini


WA2.4

Simulation of railway
stations based on hybrid Petri nets, F.
Kaakai, S. Hayat, A. El Moudni






WB1 – Modeling and Simulation of Hybrid Systems


WB1.1

Modeling an impact
control strategy using HyPA, P.J.L.
Cuijpers, M.A. Reniers


WB1.2

Human skill modeling
based on stochastic switched dynamics,
T. Suzuki, S. Inagaki, N. Yamada


WB1.3

Building efficient
simulations from hybrid bond graph models, C.D. Beers, E.J. Manders, G. Biswas, P.J. Mosterman


WB1.4

Robust control
strategies for multiinventory systems with average flow constraints, D. Bauso, F. Blanchini, R. Pesenti






WB2  Control of Hybrid Systems 1


WB2.1

Hybrid constrained
formation flying control of microsatellites, F. Bacconi, A. Casavola, E. Mosca


WB2.2

A gradientbased
approach to a class of hybrid optimal control problems, V. Azhmyakov, J. Raisch


WB2.3

Optimal modeswitching
for hybrid systems with unknown initial state, H. Axelsson, M. Boccadoro, Y. Wardi, M. Egerstedt


WB2.4

Beyond the construction
of optimal switching surfaces for autonomous hybrid systems, M. Boccadoro, M. Egerstedt, P. Valigi,
Y. Wardi






WC1  Structural Analysis and Approximation of Hybrid
Systems (Invited)



Organizer: E. De Santis


WC1.1

Approximate simulation
relations for hybrid systems, A.
Girard, A.A. Julius, G.J. Pappas


WC1.2

Stabilizability based
state space reductions for hybrid systems, E. De Santis, M.D. Di Benedetto, G. Pola


WC1.3

Reachability
computation for uncertain planar affine systems using linear abstractions, O. Nasri, M.A. Lefebvre, H. Guéguen


WC1.4

Exact differentiation
via sliding mode observer for switched systems, H. Saadaoui, M. Djemaï, N. Manamanni, T. Floquet, J.P. Barbot






WC2  Control of Hybrid Systems 2


WC2.1

Robust Hinfinity
control of uncertain discretetime switching symmetric composite systems, L. Bakule


WC2.2

The elevator
dispatching problem: hybrid system modeling and receding horizon control, K.S. Wesselowski, C.G. Cassandras


WC2.3

Robust piecewise linear
sheet control in a printer paper path, B.
Bukkems, J. de Best, R. van de Molengraft, M. Steinbuch


WC2.4

Stabilization of
maxpluslinear systems using receding horizon control  The unconstrained
case, I. Necoara, T.J.J. van den
Boom, B. De Schutter, J. Hellendoorn








THURSDAY JUNE 8






TA1  Stochastic Hybrid Systems


TA1.1

Online classification of switching models
based on subspace framework, K.M.
Pekpe, S. Lecœuche


TA1.2

Functional abstractions of stochastic
hybrid systems, M.L. Bujorianu,
H.A.P. Blom, H. Hermanns


TA1.3

Stochastic hybrid NETCAD systems for
modeling call admission and routing control in networks, Z. Ma, P.E. Caines, R. Malhame


TA1.4

Parameter identification for piecewise
deterministic Markov processes: a case study on a biochemical network, P. Kouretas, K. Koutoumpas, J. Lygeros


TA1.5

Using path integral short time propagators
for numerical analysis of stochastic hybrid systems, G. Lichtenberg, P. Rostalski






TA2  Controller Design Based on Hybrid Models of
Industrial Plants (Invited)



Organizers: S. Engell,
O. Stursberg


TA2.1

Challenges in startup control
of a heat exchange reactor with exothermic reactions; a hybrid approach, S. Haugwitz, P. Hagander


TA2.2

Feedback stabilization of
the operation of an hybrid chemical plant, I. Simeonova, F. Warichet, G. Bastin, D. Dochain, Y. Pochet


TA2.3

A solar cooling plant:
a benchmark for hybrid systems control, D.
Zambrano, C. Bordons, W. GarcíaGabín, E.F. Camacho


TA2.4

Timed discrete event
control of a parallel production line with continuous output, D. Gromov, S. Geist, J. Raisch


TA2.5

Dynamic optimization of
an industrial evaporator using graph search with embedded nonlinear
programming, C. Sonntag, O.
Stursberg, S. Engell






TB1  Diagnosis and Identification


TB1.1

Using neural networks
for the identification of a class of hybrid dynamic systems, N. Messai, J. Zaytoon, B. Riera


TB1.2

Fault tolerant control
design for switched systems, M.
Rodrigues, D. Theilliol, D. Sauter


TB1.3

Discreteevent
modelling and fault diagnosis of discretely controlled continuous systems, J. Lunze


TB1.4

Use of an object
oriented dynamic hybrid simulator for the monitoring of industrial
processes, N. Olivier, G. Hétreux,
J.M. Le Lann, M.V. Le Lann






TB2  Applications of Hybrid Control (Invited)



Organizers: A. Bemporad, F.
LamnabhiLagarrigue


TB2.1

Model predictive control
of nonlinear mechatronic systems: an application to a magnetically actuated
mass spring damper, S. Di Cairano, A.
Bemporad, I. Kolmanovsky, D. Hrovat


TB2.2

Subtleties in the
averaging of hybrid systems with applications to power electronics, L. Iannelli, K.H. Johansson, U.
Jönsson, F. Vasca


TB2.3

Adaptive cruise
controller design: a comparative assessment for PWA systems, D. Corona, B. De Schutter


TB2.4

Idle speed control  A
benchmark for hybrid system research, A.
Balluchi, L. Benvenuti, M.D. Di Benedetto, T. Villa, A.L.
SangiovanniVincentelli






TC1  Hybrid Simulation Tools: Principles,
Challenges and Applications (Invited)



Organizers:
C.G. Cassandras, P. Mosterman


TC1.1

Simulation and
verification of hybrid systems using Chi, D.A. van Beek, J.E. Rooda, R.R.H. Schiffelers


TC1.2

Hybrid system
simulation with SIMEVENTS, C.G.
Cassandras, M.I. Clune, P.J. Mosterman


TC1.3

HyVisual: a hybrid system
modeling framework based on Ptolemy II, E.A.
Lee, H. Zheng


TC1.4

TrueTime: simulation of
networked computer control systems, D.
Henriksson, A. Cervin, M. Andersson, K.E. Årzen


TC1.5

CODIS  A framework for
continuous/discrete systems cosimulation, G. Nicolescu, F. Bouchhima, L. Gheorghe






TC2  Stability 1


TC2.1

On the finitetime
stabilization of a nonlinear uncertain dynamics via switched control, G. Bartolini, A. Pisano, E. Usai


TC2.2

Search for period2
cycles in a class of hybrid dynamical systems with autonomous switchings.
Application to a thermal device, C.
Quémard, J.C. Jolly, J.L. Ferrier


TC2.3

Stabilizability of
bimodal piecewise linear systems with continuous vector field, K. Camlibel, M. Heemels, H. Schumacher


TC2.4

Global inputtostate
stability and stabilization of discretetime piecewise affine systems, M. Lazar, W.P.M.H. Heemels







FRIDAY JUNE 9




FA1 
Model Predictive Control

FA1.1

Feasible mode
enumeration and cost comparison for explicit quadratic model predictive
control of hybrid systems, A. Alessio,
A. Bemporad

FA1.2

An efficient algorithm
for predictive control of piecewise affine systems with mixed inputs, S. Leirens, J. Buisson

FA1.3

Explicit model
predictive control of the boost DCDC converter, A.G. Beccuti, G. Papafotiou, M. Morari

FA1.4

A new dualmode hybrid
MPC algorithm with a robust stability guarantee, M. Lazar, W.P.M.H. Heemels

FA1.5

Robust model predictive
control for piecewise affine systems subject to bounded disturbances, J. Thomas, S. Olaru, J. Buisson, D.
Dumur




FA2  Stability 2

FA2.1

Stabilization of switched
linear systems with unknown time varying delays, L. Hetel, J. Daafouz, C. Iung

FA2.2

Stabilizing dynamic
controller of switched linear systems, S.
Chaib, A. Benali, D. Boutat, J.P. Barbot

FA2.3

Dynamic output feedback
stabilization of continuoustime switched systems, J.C. Geromel, P. Colaneri

FA2.4

Practical stabilization
of discretetime linear SISO systems under assigned input and output
quantization, B. Picasso, A. Bicchi

FA2.5

Box invariance of
hybrid and switched systems, A.
Abate, A. Tiwari




FB1  Verification and Safety

FB1.1

Performance
verification of discrete event systems using hybrid modelchecking, B. Denis, J.J. Lesage, Z. Juárez Orozco

FB1.2

Verificationintegrated
falsification of nondeterministic hybrid systems, S. Ratschan, J.G. Smaus

FB1.3

An evaluation of two
recent reachability analysis tools for hybrid systems, I. Ben Makhlouf, S. Kowalewski

FB1.4

Safety and reliability
analysis of protection systems for power systems, L. Ferrarini, L. Ambrosi, E. Ciapessoni

FB1.5

A hybrid approach for
safety analysis of aircraft systems, E.
Villani, P.E. Miyagi




FB2  Abstraction Based Approaches to Hybrid
Control

FB2.1

Detecting and enforcing
monotonicity for hybrid control systems synthesis, D. Gromov, J. Raisch

FB2.2

Hybrid system control
using an online discrete event supervisory strategy, J. Millan, S. O'Young

FB2.3

Nondeterministic reactive
systems, from hybrid systems and behavioural systems perspectives, J.M. Davoren, T. Moor

FB2.4

Controlinvariance of
sampleddata hybrid systems with periodically clocked events and jitter, Y. Tsuchie, T. Ushio




