Pre-conference workshops

Pre-conference workshops will be held on Tuesday, July 16, 2013. Conference participants can attend pre-conference workshops for an additional fee - see our Registration page for details.

  1. Verification and Control of Stochastic Hybrid Systems
  2. HYCON2 Workshop on Distributed Optimization in Large Networks and its Applications
  3. Time Delay Systems – Stability & Control in Applications
  4. Fault Diagnosis, Fault-tolerant Control, and Cooperative Control of Manned and Unmanned Systems

Workshop Details

Organizer, Title and Abstract

Tuesday July 16, 2013, 09:15 - 17:40



HG D1.1

Alessandro Abate
Tembine Hamidou
Holger Hermanns
Maryam Kamgarpour
Maria Prandini

09:15 - 09:30
Introduction (M. Kamgarpour, A. Abate)

09:30 - 10:30
Model Checking Stochastic Hybrid Systems (H. Hermanns)

10:30 - 11:00
Coffee Break

11:00 - 12:00
Computable Analysis and Synthesis over Stochastic Hybrid Systems via Formal Verification (A. Abate)

12:00 - 13:00

13:00 - 14:00
Semistability of randomly switching systems with applications in networked systems (J. Hu)

14:00 - 15:00
Randomized methods for stochastic constrained control (M. Prandini)

15:00 - 15:30
Coffee Break

15:30 - 16:30
Approximate dynamic programming for Verification and Control Synthesis of stochastic hybrid systems (M. Kamgarpour)

16:30 - 17:30
Non-asymptotic mean field games (T. Hamidou)

17:30 - 17:40
Conclusions, wrap-up (M. Kamgarpour, A. Abate)

Further Inquiries
Workshop web page

Email Maryam Kamgarpour
Email Alessandro Abate



Workshop #1
Organized by Maryam Kamgarpour and Alessandro Abate

Verification and Control of Stochastic Hybrid Systems

Stochastic hybrid systems (SHS) have been used in several application domains including systems biology, power grid networks and air traffic control. Due to their modeling capabilities, developing theoretical results and computational tools for verification and control of these systems has been a subject of investigation within the systems and control community. In this workshop, the problems of verification and control for stochastic hybrid systems are defined and several computationally tractable methods to address these problems are presented.

The workshop intends to raise awareness and interest in the audience about the stochastic hybrid systems control techniques. The primary targeted audience is students at a graduate level in systems and control. At the same time, by bringing together a heterogeneous panel of experts presenting their state-of-the-art research results, the workshop targets a wider audience of researchers and practitioners. Furthermore, it shall facilitate and encourage collaboration between participants with a diverse background and from different organizations.

Topics include: abstractions of controlled stochastic hybrid systems, model checking for discrete and continuous time Markov chains, approximate dynamic programming with randomized algorithms, stochastic model predictive control, mean field analysis for large stochastic games.

Tuesday July 16, 2013, 09:00 - 17:10



HG D1.2

Angelia Nedich (UIUC)
Mikael Johannson (KTH)
Joao Xavier (Univ. of Lisbon)
Luca Schenato (Univ. Padova)
Vladimir Havlena (Honeywell)

09:00 - 10:30
First-order methods for distributed in-network optimiztion (Angelia Nedich)

10:30 - 11:00
Coffee Break

11:00 - 12:30
Decomposition techniques for distributed optimization: A tutorial overview (Mikael Johansson)

12:30 - 14:00

14:00 - 14:40
ADMM and fast gradient methods for distributed optimization (Joao Xavier)

14:40 - 15:20
Newton-Raphson consensus for distributed convex optimization (Luca Schenato)

15:20 - 15:50
Coffee Break

15:50 - 16:30
Coordinate descent methods for huge scale problems (Ion Necoara)

16:30 - 17:10
Industrial applications of large-scale and distributed optimization (Vladimir Havlena)

Further Inquiries
Workshop webpage

Email Luca Schenato
Email Mikael Johansson

Workshop #2
Organized by: Mikael Johansson and Luca Schenato

HYCON2 Workshop on Distributed Optimization in Large Networks and its Applications

The proliferation of relatively inexpensive devices capable of communicating, computing, sensing, interacting with the environment and storing information is promising an unprecedented number of novel applications throughout the cooperation of these devices toward a common goal. These applications include swarm robotics, wireless sensor networks, smart energy grids, smart traffic networks, smart camera networks. These applications also pose new challenges, of which distributed and asynchronous optimization is one of the major ones. In fact, distributed optimization has being attracting ever growing attention in the past years since many problems in large scale network can be cast as convex optimization problems. The objective of this workshop is to provide a self-contained overview of this growing body of literature in distributed optimization from a control perspective. Although several invited sessions and special events have appeared in international conferences, this would be one of the first workshop to address the problem of distributed optimization from a control perspective.

The Workshop in intended to provide to a wide and diverse audience interested in distributed optimization in large scale networks with an overview of the state-of-the-art from a control point of view. In particular, being the fist part of the workshop devoted to tutorial seminars, it is particularly suitable for Ph.D. students and young researchers who are willing to enter this new area of research and are not necessarily experts, since most relevant mathematical tools are references will be provided. However, it is also relevant for practitioners and researchers in distributed optimization, since the second part of the workshop will present some recent advances in this area and some industrial application of these tools.

Tuesday July 16, 2013, 09:00 - 17:30



HG D7.1

Fatihcan M. Atay
Dimitri Breda
Wim Michiels
Silviu-Iulian Niculescu
Hitay Ozbay
Rifat Sipahi

Stability Theory of Time Delay Systems and Applications from Engineering to Biology
S.-I. Niculescu & W. Michiels

Morning Coffee Break

Cooperative Dynamics on Networks with Time Delays
F.M. Atay


Delays in Control Loops: Analysis and Optimization-based Control Design
W. Michiels

Delay-Dependent & Delay-Independent Stability in Connection with Algebraic Tools
R. Sipahi

Afternoon Coffee Break

Computational Methods for H-infinity Control of Time Delay Systems

From Delay Differential Equations to Ordinary Differential Equations
D. Breda

Further Inquiries

Workshop web page

Email Fatihcan M. Atay
Email Dimitri Breda
Email Wim Michiels
Email Silviu-Iulian Niculescu
Email Hitay Ozbay
Email Rifat Sipahi

Workshop #3
Organized by Fatihcan Atay, Dimitri Breda, Wim Michiels, Silviu-Iulian Niculescu, Hitay Ozbay, Rifat Sipahi

Time Delay Systems – Stability & Control in Applications

Time delays are ubiquitous in dynamical systems around us, as found in mechatronics systems, energy management systems, traffic flow dynamics, tele-operation and remote control systems, synchronization of agent-based dynamics, population dynamics, HIV infection dynamics, financial investment and stock trading strategies, and supply chain management. Delays bring about significant effects on the evolution of such systems, causing instability, poor performance, and limitation on the ability to control, which ultimately result in poorly functioning and inefficient dynamical behavior. On the other hand, there are also situations where delays have beneficial effects and can be used as controller parameters.

In this one day workshop, the lecturers will cover both the theory and relevant applications, starting from the fundamentals and developing toward complex problems. Discussions include stability theory, stabilization, delay-dependent and delay-independent stability, structured control design, utilization of advanced numerical tools, spectrum calculations, H infinity control, existing capabilities, limitations and open research problems. Application examples in particular include network systems, biological systems, engineering problems, resource-competition dynamics, and supply chains.

The lecturers will utilize fundamentals tools, such as eigenvalue problems, state space representations, root locus, frequency domain analysis and control design, from classical and modern control theory, to present the workshop materials. The lecturers will mainly focus on Linear Time-Invariant Time Delay Systems, and will use PowerPoint slides as well as Matlab demonstrations via projector to deliver their lectures. The audience is welcome to bring their laptops to actively participate. Lecturers will also provide hand outs to the audience regarding presentation material as well as key references. Demo files will be available for upload after the workshop.

Tuesday July 16, 2013, 09:00 - 17:30



HG D7.2

Youmin Zhang
YangQuan Chen
Christopher Edwards
Cameron Fulford
Philippe Goupil
Qinglei Hu
Hugh H.T. Liu
Andres Marcos
Vicenç Puig
Didier Theilliol
Antonios Tsourdos

09:00 - 09:30
Introduction to Health Management, Fault-tolerant Control and Cooperative Control: Motivation, Concept, History, Existing and Future Developments (Dr. Zhang)

09:30 - 10:00
Developments on Fault Diagnosis, Fault-tolerant Control and Cooperative Control with Applications to Fixed-wing and Quadrotor UAVs Testbeds (Dr. Zhang)

10:00 - 10:30
Iterative Design Towards Improved Fault Tolerance: A Framework for Improved SUAS Airworthiness (Dr. Chen)

10:30 - 11:00
Coffee Break

11:00 - 11:30
Sliding Mode Schemes for Fault Detection and Fault Tolerant Control (Dr. Edwards)

11:30 - 12:00
Tools for Teaching Autonomous Unmanned Vehicle Systems (Mr. Fulford)

12:00 - 13:00

13:00 - 13:30
Fault Diagnosis and Fault Tolerant Control for Civil Aircraft: Industrial State-of-Practice for Flight Control Systems (Dr. Goupil)

13:30 - 14:00
Observed-based Fault Diagnosis Incorporating Online Control Allocation for Spacecraft Attitude Stabilization under Actuator Failures (Dr. Hu)

14:00 - 14:30
Recent Progress on Tolerant Flight Control for Damaged Aircraft (Dr. Liu)

14:30 - 15:00
Detection, Isolation and Tolerant Control: A Tutorial on Aerospace Applications (Dr. Marcos)

15:00 - 15:30
Coffee Break

15:30 - 16:00
Fault Diagnosis and Tolerant Control of Aerospace Systems using LPV Techniques (Dr. Puig)

16:00 - 16:30
Design of Fault-tolerant Control Methods Based on Reliability (Dr. Theilliol & Dr. Zhang)

16:30 - 17:00
Multiple UAS Operations: Toward Verifiable Autonomy (Dr. Tsourdos)

17:00 - 17:30
Summary, Discussion, and Feedback

Further Inquiries

Workshop webpage

Email Youmin Zhang
Email YangQuan Chen
Email Christopher Edwards
Email Cameron Fulford
Email Philippe Goupil
Email Qinglei Hu
Email Hugh H.T. Liu
Email Andres Marcos
Email Vicenç Puig
Email Didier Theilliol
Email Antonios Tsourdos

Workshop #4
Organized by Youmin Zhang, YangQuan Chen, Christopher Edwards, Cameron Fulford, Philippe Goupil , Qinglei Hu, Hugh H.T. Liu, Andres Marcos, Vicenç Puig, Didier Theilliol, Antonios Tsourdos

Fault Diagnosis, Fault-tolerant Control, and Cooperative Control of Manned and Unmanned Systems

Unmanned systems including Unmanned Aerial Vehicles/Systems (UAVs or UAS), Unmanned Ground Vehicles (UGVs), and Unmanned Underwater Vehicles (UUVs) etc are gaining more and more attention during the last a few years due to their important contribution and cost-effective application in several tasks such as surveillance, search, rescue missions, geographic studies, military and security applications. Health management and fault-tolerant control of manned aerial vehicles have a long history since the initial research on self-repairing flight control systems in US Air Force and NASA begun in mid-1980s. However, due to safety of manned aerial vehicles to the pilot, experimental test and further practical research and development have been bounded due to such constraints. Benefited from the recent and significant advance and development of UAVs, development and application of fault-tolerant control as well as cooperative control techniques have been emerged and developed quickly in recent years, since UAVs provide a cheap and operative experimental test-bed for development, implementation, and testing the latest developed fault-tolerant and cooperative guidance, navigation and control techniques. Based on the experiences gained by the 12 different participating organizations ranging from academic institutions, research organization, and industry of the leading groups in Canada, USA, France, Spain, UAE, and UK, the workshop will demonstrate the state-of-the-art techniques and development in health management, fault diagnosis, fault-tolerant guidance, navigation and control, safety and reliability, as well as multi-vehicle cooperative guidance, navigation and control techniques.

In this workshop, overview of past, current and future research activities and research outcomes on the health management, fault diagnosis, fault-tolerant control, and cooperative control applications with emphasis to UAVs, civilian aircraft and spacecraft will be presented, which include quadrotor rotary and fixed-wing UAVs etc. Linear and nonlinear techniques for modeling, fault diagnosis, fault-tolerant control, path and trajectory planning/re-planning, cooperative/formation flight guidance, navigation and control, based on a quadrotor helicopter UAV and several fixed-wing aircraft and UAVs testbeds will be presented in the workshop. Furthermore, fault diagnosis, fault-tolerant control, and cooperative control strategies development with practical application scenarios on persistent surveillance and coverage control with multiple unmanned systems will be presented. Multiple UAS operations toward verifiable autonomy and assessment of the potential insertion of UAS in the air transportation system will also be discussed.

The audience will gain information and knowledge on the latest development and applications on the active research topics in health management, fault detection and diagnosis, fault-tolerant control and cooperative control of manned and unmanned aerial vehicles by world-leading researchers from both academia and industry.