|
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.
Sangiovanni-Vincentelli
|
|
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 piecewise-linear systems, A. Birouche, J. Daafouz, C. Iung
|
|
WA1.3
|
Designing switched
observers for switched systems using multiple Lyapunov functions and
dwell-time 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
join-free 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 multi-inventory 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 micro-satellites, F. Bacconi, A. Casavola, E. Mosca
|
|
WB2.2
|
A gradient-based
approach to a class of hybrid optimal control problems, V. Azhmyakov, J. Raisch
|
|
WB2.3
|
Optimal mode-switching
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 H-infinity
control of uncertain discrete-time 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
max-plus-linear 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 start-up 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ía-Gabí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
|
Discrete-event
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.
Lamnabhi-Lagarrigue
|
|
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.
Sangiovanni-Vincentelli
|
|
|
|
|
|
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 co-simulation, G. Nicolescu, F. Bouchhima, L. Gheorghe
|
|
|
|
|
|
TC2 - Stability 1
|
|
TC2.1
|
On the finite-time
stabilization of a nonlinear uncertain dynamics via switched control, G. Bartolini, A. Pisano, E. Usai
|
|
TC2.2
|
Search for period-2
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 input-to-state
stability and stabilization of discrete-time piece-wise 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 DC-DC converter, A.G. Beccuti, G. Papafotiou, M. Morari
|
|
FA1.4
|
A new dual-mode 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 continuous-time switched systems, J.C. Geromel, P. Colaneri
|
|
FA2.4
|
Practical stabilization
of discrete-time 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 model-checking, B. Denis, J.-J. Lesage, Z. Juárez Orozco
|
|
FB1.2
|
Verification-integrated
falsification of non-deterministic 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 on-line discrete event supervisory strategy, J. Millan, S. O'Young
|
|
FB2.3
|
Non-deterministic reactive
systems, from hybrid systems and behavioural systems perspectives, J.M. Davoren, T. Moor
|
|
FB2.4
|
Control-invariance of
sampled-data hybrid systems with periodically clocked events and jitter, Y. Tsuchie, T. Ushio
|
|
|
|
|
