|
|
| ADHS'09: 3rd IFAC Conference on Analysis and Design of Hybrid Systems |
|
Download the PDF file with the program
Code for technical sessions: W-T-F (day), P
(plenary), M-A (morning or after-lunch), 1-2 (track), eventually “.1” or “.2”,
if two sessions are in sequence. WEDNESDAY 16 09-09:30 Opening and memorial session:
WP Plenary 1: Model Predictive Control for Hybrid Systems 09:30-10:30 Eduardo F. Camacho ESI,
University of Seville (Spain) WM1 APPLICATIONS IN DIFFERENT DOMAINS 11:00-11:25:
Hierarchical and Hybrid Model Predictive Control of Quadcopter Air Vehicles Alberto Bemporad, Carlo Alberto Pascucci and Claudio
Rocchi (Univ. of Siena,
Italy) 11:25-11:50:
Hybrid Control for a Solar
Desalination Plant Lidia Roca and Luís Yebra (PSA-CIEMAT, Spain), and Luís Guzmán and Manuel Berenguel (Univ. of Almería,
Spain). 11:50-12:15:
Hybrid Modelling of a Solar
Cooling System Manuel Pasamontes Romera, J. Domingo Álvarez
Hervás, J. Luís Guzmán Sánchez and Manuel Berenguel
Soria (Univ. of Almería,
Spain). 12:15-12:40:
Hybrid Modelling and Control
of a Power Plant Three-Stage Reheater Jaroslav Hlava (Technical Univ.
of Liberec, Czech Republic) 12:40-13:05:
Asymmetric Limit Cycles in an Industrially Applied
Controlled Resonant Converter Anders Hultgren (Blekinge Inst. of Technology, Sweden), Jan Melin (Univ. of Kalmar, Sweden) and Per Ranstad
(Alstom Power PSP, Sweden) WM2 PETRI NETS 11:00-11:25:
An Efficient Heuristics for Minimum Time Control of
Continuous Petri nets Hanife Apaydin-Ozkan, Jorge Júlvez, Cristian Mahulea and Manuel Silva (Univ. of Zaragoza, Spain) 11:25-11:50:
A Continuous Petri Net Model for the Management and
Design of Emergency Cardiology Departments Mariagrazia Dotoli, Maria Pia Fanti and Agostino
M. Mangini (Politecnico di Bari, Italy), and Walter Ukovich
(Univ. di Trieste, Italy) 11:50-12:15:
Hybrid Approximations to Markovian
Petri nets
Carlos
R. Vázquez and Manuel Silva (Univ. of Zaragoza, Spain) 12:15-12:40:
Approximation of MTS Stochastic Petri Nets Steady
State by Means of Continuous Petri Nets: a Numerical Approach Dimitri Lefebvre, Edouard Leclercq and Nabil El Akchioui (Univ.
Le Havre, France), and Leila Khalij and Eduardo Souza
De Cursi (INSA Rouen, France) 12:40-13:05:
Symmetries in Timed Continuous Petri Nets Anna-Lena Meyer and Michael Dellnitz (Univ. of Paderborn, Germany) WA1 INDUSTRIAL APPLICATIONS OF HYBRID SYSTEM
MODELLING Organizers: Sebastián Dormido and
Alfonso Urquía, UNED 15:30-15:55:
A DEVS-based End-to-end Methodology for Hybrid Control
of Embedded Networking Systems Rodrigo Castro and Ernesto Kofman
(Univ. Nacional de Rosario, Argentina), and Gabriel Wainer (Carleton
Univ., Canada) 15:55-16:20:
Object-Oriented Modelling
and Simulation of Starch Mashing Alberto Leva, Filippo Donida and
Michele Bordoni (Politecnico di Milano, Italy) 16:20-16:45:
Modeling of the ARGESIM “Crane and Embedded
Controller” System using the DEVSLib Modelica library Victorino Sanz, Alfonso Urquía and Sebastián Dormido (UNED, Spain),
and François E. Cellier (ETH Zurich, Switzerland) 17:15-17:40:
A Hybrid Object Oriented Library for the Simulation of
Sugar Houses Rogelio Mazaeda, César de Prada, Alejandro
Merino and Felipe Acebes (Univ. de Valladolid, Spain) WA2 OPTIMAL CONTROL 15:30-15:55:
Pursuit of an Evader with Hybrid Dynamics Josef Shinar and Vladimir Turetsky
(Technion - Israel Institute of Technology, Israel),
and Valery Y. Glizer (Ort Braude
College, Israel) 15:55-16:20:
Optimal Control of Hybrid Systems by Logic-Based
Benders Decomposition Akbar H. Borzabadi
and Mohammad E. Sadjadi (Damghan
Univ. of Basic Science, Iran) 16:20-16:45:
Real-Time Optimal Feedback Control of Switched
Autonomous Systems Xu Chu Ding and Magnus Egerstedt
(Georgia Institute of Technology, USA), and Axel Schild and Jan Lunze (Ruhr-Univ.eat Bochum,
Germany) 17:15-17:40:
Numerical Method for Optimal Stopping of Hybrid
Processes Benoîte de Saporta, Francois
Dufour and Karen Gonzalez (Univ. de Bordeaux, France) 17:40-18:05:
A Generalization of a Polynomial Optimal Control of
Switched Systems Eduardo Mojica-Nava and Nicanor
Quijano (Univ. de Los Andes, Colombia), and Naly Rakoto-Ravalontsalama (Ecole
des Mines de Nantes, France) THURSDAY 17 TM1.1 HYBRID INDUSTRIAL CONTROL Organizer: César de Prada, Univ. of Valladolid 09:00-09:25:
Design of Logic Feedback Controllers for Discretely
Controlled Continuous Systems Thanh-Ha Tran and
Sebastian Engell (Technische
Univ. Dortmund,
Germany) 09:25-09:50:
Max-Plus Algebraic Modeling and Control of
High-Throughput Screening Systems with Multi-Capacity Resources Thomas Brunsch and Jörg Raisch (Technische
Univ. Berlin, Germany) 09:50-10:15:
Hybrid Positive Systems Subject to Markovian
Switching Mustapha Ait Rami (Univ. de Valladolid, Spain) and Jeff Shamma (Georgia Tech, USA) 10:15-10:40: Interval-based
Solving of Hybrid Constraint Systems (regular paper) Daisuke Ishii and Kazunori Ueda (Waseda
University, Japan), Hiroshi Hosobe (National Inst. of
Informatics, Japan), and Alexandre Goldsztejn (Univ. de Nantes, France) TM2.1 REACHABILITY ANALYSIS OF HYBRID SYSTEMS
UNDER UNCERTAINTY Organizers: Manuela L. Bujorianu,
Univ. of Manchester, and John Lygeros, ETH Zurich 09:00-09:25:
A Probabilistic Reach-Avoid Problem for Controlled
Discrete Time Stochastic Hybrid Systems Sean Summers and John Lygeros (ETH Zurich, Switzerland) 09:25-09:50:
Computing Reachable Sets for Uncertain Nonlinear
Hybrid Systems Using Interval Constraint Propagation Techniques Nacim Ramdani (INRIA Sophia Antipolis, France) and Nedialko
S. Nedialkov (McMaster Univ., Canada) 09:50-10:15:
Constraint-Based Analysis of Probabilistic Hybrid
Systems Tino Teige and Martin Fränzle (Carl von Ossietzky Univ., Oldenburg, Germany) 10:15-10:40:
State Constrained Reachability
for Stochastic Hybrid Systems Manuela Bujorianu and Marius
Bujorianu (Univ. of Manchester, UK) TM1.2 STABILITY, STABILIZATION AND PERFORMANCE
ANALYSIS 11:10-11:35:
Stabilization of Discrete-time Switching Systems
Including Modal Nonlinearities and Saturating Actuators Marc Jungers and Jamal Daafouz (CNRS Univ. de Nancy, France), Eugênio
B. Castelan (Univ. Federal de Santa Catarina, Brazil), and Sophie Tarbouriech
(LAAS-CNRS, Univ. de Toulouse, France) 11:35-12:00:
Stability Analysis of Reset Control Systems with Reset
Band Alfonso Baños (Univ. de Murcia, Spain), Sebastián Dormido (UNED, Spain) and Antonio
Barreiro (Univ. de Vigo, Spain) 12:00-12:25:
Switching Between Controllers Using Replicator
Dynamics Iván Muñoz, Eduardo Mojica-Nava and Nicanor
Quijano (Univ. de Los Andes, Colombia) 12:25-12:50:
On Performance Analysis of Time Delay Systems using a
Switched System Approach Julie Melin, Marc Jungers, Jamal Daafouz and Claude
Iung (CRAN, Univ. de Nancy, France) 12:50-13:15:
Constrained State Feedback Control of Piecewise Affine
Systems Redouane Kara and Said Djennoune (Univ. Mouloud Mammeri de Tizi-Ouzou, Algeria),
Mourad Ahmane (Univ. de
Technologie de Belfort-Montbéliard, France), and Jean Jacques Loiseau (Inst. de Recherche en
Comm. et Cybernétique de Nantes, France) TM2.2 VSS
METHODS FOR CONTROL AND OBSERVATIONS OF HYBRID SYSTEMS (I): Homogeneous higher order sliding mode
finite time exact control and observation Organizer: Leonid Fridman, UNAM,
México 11:10-11:35:
Continuity Properties of Nonlinear Affine Control
Systems: Applications to Hybrid and Sliding Mode Dynamics Vadim Azhmyakov and Alex Poznyak (CINVESTAV, México), Magnus Egerstedt
(Georgia Insti. of Technology, USA), and Leonid Fridman (UNAM, México) 11:35-12:00:
Homogeneous Higher-Order Sliding Mode Arie Levant (Tel-Aviv Univ., Israel) 12:00-12:25:
High-Order Sliding Modes Observer for Linear Systems
with Unbounded Unknown Inputs Leonid Fridman and Jorge Dávila (National Autonomous Univ. of México), and Arie Levant (Tel-Aviv Univ., Israel) 12:25-12:50:
On Robust Output Based Finite-Time Control of LTI
Systems Using HOSMs Marco Tulio Angulo (UNAM, México) and Arie Levant (Tel-Aviv Univ., Israel) 12:50-13:15:
Robust Reconstruction of the Discrete State for a
Class of Nonlinear Uncertain Switched Systems (regular paper) Nicola Orani, Alessandro Pisano, Mauro
Franceschelli, Alessandro Giua and Elio Usai (Univ. de Cagliari, Italy) TP Plenary 2: Control of piecewise-affine hybrid systems
on polytopes 15:30-16:30 Jan H. van Schuppen
CWI, Amsterdam (The Netherlands) TA1 MODEL-BASED DESIGN OF HYBRID CONTROL SYSTEMS:
TOOLS, FORMALISMS, AND TOOL INTERCONNECTION Organizers: C. Sonntag and S. Engell,
University of Dortmund, and D.A. van Beek, University
of Eindhoven 17:00-17:25:
Playing Games with Timed Games Thomas Chatain (LSV,
ENS Cachan, France), Alexandre
David and Kim Gulstrand Larsen (Aalborg Univ., Denmark) 17:25-17:50:
Design Principles for an Extendable Verification Tool
for Hybrid Systems Goran Frehse and Rajarshi Ray (Univ. Grenoble 1, France) 17:50-18:15:
New Concepts in the Abstract Format of the Compositional
Interchange Format D.A. van Beek,
D.E. Nadales, J.E. Rooda and
R.R.H. Schiffelers (Eindhoven Univ. of Technology, The
Netherlands), and P. Collins (CWI, Amsterdam, The Netherlands) TA2 OPTIMIZATION OF HYBRID DYNAMICAL SYSTEMS Organizer: Yorai Wardi, Georgia Institute of Technology 17:00-17:25:
Perturbation Analysis and Resource Contention Games in
Multiclass Stochastic Flow Models Chen Yao and Christos Cassandras
(Boston Univ., USA) 17:25-17:50:
A Hybrid, Multi-Agent Model of Foraging Bottlenose
Dolphins Musad Haque, Amir Rahmani and Magnus Egerstedt (Georgia Inst. of Technology, USA) 17:50-18:15:
Application of IPA to Fluid Petri Nets Alessandro Giua and Carla Seatzu (Univ. de
Cagliari, Italy), and Yorai Wardi
(Georgia Inst. of Technology, USA) FRIDAY
18 FM1.1 REACHABILITY AND VERIFICATION 09:00-09:25:
How to Capture Hybrid Systems Evolution into Slices of
Parallel Hyperplanes Tomas Dzetkulic and Stefan Ratschan (Academy of Sciences of the Czech Republic) 09:25-09:50:
Limited-Time Lookahead Diagnosability of Rectangular Hybrid Automata Haithem Derbel and Hassane Alla (Gipsa-lab,
Grenoble, France), Nejib Ben Hadj-Alouane
(The OASIS Laboratory, Tunisia), and Moez Yeddes (CRISTAL, ENSI, Tunisia) 09:50-10:15:
Probabilistic Regulation in Stochastic Hybrid Systems
Subject to Safety Constraints Debasish Chatterjee, Eugenio Cinquemani and John Lygeros (ETH
Zurich, Switzerland) 10:15-10:40:
Safety Assessment of Networked Vehicle Platoon
Controllers – Practical Experiences with Available Tools Ibtissem Ben Makhlouf, Stefan Kowalewski, Martin Guillermo Chávez
Grunewald and Dirk Abel (RWTH Aachen University, Germany) FM2.1 OPTIMIZATION 09:00-09:25:
Optimizing Hybrid Control Trajectories by Model
Abstraction and Refinement Tina Paschedag and Olaf Stursberg (Univ. Kassel, Germany), and Michael Fall (Technische Univ. München, Germany 09:25-09:50:
A Graph Search Algorithm for Optimizing the Discrete
Location Sequence in Hybrid Optimal Control Problems Benjamin Passenberg (Technische Univ. München,
Germany) and Olaf Stursberg (Univ. Kassel, Germany) 09:50-10:15:
Geometrical Properties of Optimal Hybrid System
Trajectories and the Optimization of Switching Manifolds Farzin
Taringoo and Peter Caines (McGill Univ., Canada) 10:15-10:40:
Optimal Control of Deterministic Hybrid Systems using
Dynamic Programming Matthias Rungger and Olaf Stursberg (Univ. Kassel, Germany) FM1.2 MODELLING, SIMULATION AND BEHAVIOURS 11:10-11:35:
Hybrid-Automaton Models for Simulating Systems with
Sliding Motion: Still a Challenge Eva Maria Navarro-López
(Univ. of Manchester, UK) 11:35-12:00:
Compositional and Assume-Guarantee Reasoning for
Switching Linear Systems Florian Kerber and Arjan J. van der Schaft (Univ. of Groningen, The
Netherlands) 12:00-12:25:
Sampled-Data Control of Hybrid Systems with Discrete
Inputs and Outputs Mihaly Petreczky, Dirk A. Van Beek and Jacobus E. Rooda (Eindhoven Univ. of Technology, The Netherlands),
and Pieter Collins and Jan H. Van Schuppen (CWI,
Amsterdam,, The Netherlands) 12:25-12:50:
Dissipativity
of Switched Systems with Application to
Supervisory Fault Tolerant Control Hao Yang and Vincent Cocquempot
(LAGIS UMR 8146 Lille, France), and Bin Jiang (College of Automation
Engineering, NUAA, China) FM2.2 VSS METHODS FOR CONTROL AND OBSERVATIONS OF
HYBRID SYSTEMS (II): VSS methods for control and observations of
hybrid systems Organizer: Leonid Fridman, UNAM, México 11:10-11:35:
Real Time Control via a High Order Sliding Mode
Controller of a Multicellular Converter Mohamed Djemai (Univ. de
Lille et de Valenciennes, France), Krishna Busawon (Northumbria Univ., UK), Khelifa Benmansour and Alaa Marouf (ECS, Cergy-Pontoise, France) 11:35-12:00:
Finite-Time Converging Jump Observer for Linear Switched
Systems with Unknown Inputs Francisco Javier Bejarano (UNAM, México),
Alessandro Pisano and Elio Usai (Univ. de Cagliari, Italy) 12:00-12:25:
Finite Time Observation of the Continuous and Discrete
State for a Class of a Non Linear Switching Dynamics Jorge Dávila (UNAM, México), Alessandro Pisano and
Elio Usai (Univ. de Cagliari, Italy) 12:25-12:50:
Stabilization of Switched Linear Systems: a Sliding
Mode Approach Thierry Floquet, Laurentiu Hetel and Wilfrid Perruquetti (Univ. Lille Nord de France,
France) 12:50-13:15:
Exact Observer for Switching Linear Systems via Super-Twisting
Algorithm Francisco Javier Bejarano and Leonid Fridman (UNAM,
México) FP Plenary 3: Towards Computational Hybrid System
Semantics for Time-Based Block Diagram Modeling 15:30-16:30 Pieter Mosterman Mathworks Inc., Boston (USA) FA1 ROBUST CONTROL 17:00-17:25:
Switched System Modeling and Robust Steering Control
in a Hot Strip mill Ivan Malloci, Jamal Daafouz and Claude Iung (CRAN
CNRS Nancy University, France), and Patrick Szczepanski
(Arcelor Mittal Maisières R&D, France) 17:25-17:50:
Robust Fault Detection Based-Observer for Linear
Switched Systems. Djamel Belkhiat, Nadhir Messai and Noureddine Manamanni (Université de Reims-Champagne-Ardenne, France) 17:50-18:15:
Robust PI Observer Design for Hybrid Heterogeneous
Multiple Models with Delayed Measurements. Rodolfo Orjuela, Benoît Marx,
José Ragot and Didier Maquin (Centre de Recherche en
Automatique de Nancy, France) FA2 IDENTIFICATION AND ESTIMATION 17:00-17:25:
Algebraic Switching Time Identification for a Class of
Linear Hybrid Systems Yang Tian, Thierry Floquet, Lotfí Belkoura and Wilfrid Perruquetti (Univ.Lille Nord de
France) 17:25-17:50:
Real-Time
Estimation of the Switching Signal for Perturbed Switched Linear Systems Michel Fliess (INRIA-ALIEN
& LIX, France), Cédric Join (INRIA-ALIEN &
CRAN, France) and Wilfrid Perruquetti
(INRIA-ALIEN & LAGIS, Ecole Centrale de Lille France) 17:50-18:15:
Switched Affine Models for Describing Nonlinear
Systems Laurent Bako, Khaled Boukharouba, Eric Duviella and Stéphane Lecoeuche (Ecole des Mines de Douai,, France) 18:15-18:30
Closing Session |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
