Invited Speakers

	Eduardo F. Camacho, ESI, University of Seville (Spain) Plenary Title: Model Predictive Control for Hybrid Systems Plenary Abstract: Model Predictive Control (MPC) has developed considerably in the last decades both in industry and in academia. This success is due to the fact that it is perhaps the most general way of posing the control problem in the time domain. Predictive Control integrates optimal control, control of processes with dead-time, multivariable processes and uses future references when available. The use a finite horizon strategy allows the explicit handling of process and operational constraints by the MPC. Although the technology originated in industry, the academic research community has contributed, during the last two decades, important results in all relevant aspects of the technique. It is widely accepted that the control of linear processes with linear constraints (i.e. linear MPC) is a relatively mature research field. Linear models are good approximations if the process is kept closed to an operating point and the nonlinearities are not too severe. But this is not the case of many processes where there are not only continuous variables but also variables that have a discrete nature. This talk describes the main issues in analyzing and implementing Hybrid Model Predictive Control (HMPC), a research field non fully developed with many open challenges. The presentation starts with a short introductory review of MPC. Problem formulation and global optimization are crucial issues, since using a hybrid model may change the control problem from a convex quadratic program to a possibly non-convex problem with mixed variables, which is much more difficult to solve. Some of the techniques proposed by the research community to overcome these problems will be presented. Issues related to the stability and the global solutions to the optimization problem are also discussed. Finally an application to a solar power plant that illustrates how HMPC can be applied in real time will be considered. Biography. Eduardo F. Camacho received his doctorate in Electrical engineering from the University of Seville where he is now a full professor of the Department of System Engineering and Automatic Control. He has written the books: "Model Predictive Control in the Process industry" (1995), "Advanced Control of Solar Plants" (1997) and "Model Predictive Control" (1999), (2004 second edition) published by Springer-Verlag, "Control e Instrumentación de Procesos Quimicos" published by Ed. Sintesis and "Control of Dead-time Processes" published by Springer-Verlag (2007). He has served on various IFAC technical committees and chaired the IFAC publication Committee from 2002-2005. He was the president of the European Control Association (2005-2007) and chaired the IEEE/CSS International Affairs Committee (2003-2006). Currently he is the Chair of the IFAC Policy Committee and a member of the IEEE/CSS Board of Governors. He has acted as evaluator of projects at national and European level and was appointed Manager of the Advanced Production Technology Program of the Spanish National R&D Program (1996-2000). He was one of the Spanish representatives on the Program Committee of the Growth Research program and expert for the Program Committee of the NMP research priority of the European Union. He has carried out review and editorial work for various technical journals and many conferences. At present he is one of the editors of the IFAC journal, Control Engineering Practice, has been associate editor of the European Journal of Control until 2006 when he was promoted to editor at large and subject editor of the journal Optimal Control: Methods and Applications. He was Publication Chair for the IFAC World Congress b'02 and General Chair of the joint Control and Decision Conference and European Control Conference (CDC-ECC'05).
	Pieter Mosterman, Mathworks Inc., Boston (USA) Plenary Title: Towards Computational Hybrid System Semantics for Time-Based Block Diagram Modeling Plenary Abstract: The use of computational models in the design of engineered systems has shown to provide significant advantages over the use of physical models and paper documents by enabling Model-Based Design. This has resulted in an autocatalytic trend where computational models have been key to unlocking the potential of model transformation. These transformations, in turn, can be effectively captured by computational models. In order to precisely capture a model transformation, it is essential that the semantics of the source and target representations be unambiguously and rigorously defined. In the design of engineered systems, time-based block diagrams are extensively used and formal semantics of the discrete-time aspects have previously been established. For analytic purposes, continuous-time behavior of a hybrid system is often considered from a mathematical perspective. Design, however, typically relies on numerical simulation to obtain insight into the system behavior. As a result, the corresponding computational implementation determines the semantics of the continuos-time behavior. A fixed-step forward Euler numerical integration scheme is frequently exploited for hybrid systems simulation, though its poor stability characteristics limit the applicability. Variable-step numerical solvers have superior performance characteristics but their computational semantics are significantly more difficult to define. Moreover, the variable-step nature is difficult to reconcile with discrete-time formalizations. This paper exploits a stream-based approach to establish a framework for defining the computational semantics of both the discrete-time aspects as well as a variable-step numerical solver that generates continuous-time behavior. Biography. Pieter J. Mosterman is a Senior Research Scientist at The MathWorks, Inc. in Natick, MA where he works on core Simulink® technologies. Before, he was a Research Associate at the German Aerospace Center (DLR) in Oberpfaffenhofen. He has a Ph.D. degree in Electrical and Computer Engineering from Vanderbilt University in Nashville, TN, and a M.Sc. degree in Electrical Engineering from the University of Twente, Netherlands. His primary research interests are in Computer Automated Multiparadigm Modeling (CAMPAM) with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration. He designed the Electronics Laboratory Simulator, nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. In 2003, he was awarded the IMechE Donald Julius Groen Prize for a paper on HYBRSIM, a hybrid bond graph modeling and simulation environment. Dr. Mosterman is the Editor of a CRC Press book series on Computational Analysis, Synthesis, and Design of Dynamic Systems and co-editor of the Model-Based Design of Embedded Systems book. He serves as Associate Editor of the International Journal of Critical Computer Based Systems, the Journal of Defense Modeling and Simulation, the International Journal of Control and Automation, IEEE Transactions on Control Systems Technology (TCST), and of Applied Intelligence. He served as Editor-in-Chief of SIMULATION: Transactions of The Society for Modeling and Simulation International for the Methodology section and Guest Editor of special issues of SIMULATION, ACM Transactions on Modeling and Computer Simulation, and TCST on the topic of CAMPAM. Since 2007, he co-organizes the Model-Based Design for Embedded Systems track at the Design Automation and Test in Europe (DATE) conference and since 2004 the annual International Bellairs CAMPaM Workshop. He is General Chair of a DATE 2009 workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications. He co-organized the Computational Modeling and Simulation of Embedded Systems track at the 2007 Summer Computer Simulation Conference, the International Conference on High Level Simulation Languages and Applications in 2007, and the 14th International Workshop on Principles of Diagnosis in 2003.
	Jan H. van Schuppen, CWI, Amsterdam (The Netherlands) Plenary Title: Control of piecewise-affine hybrid systems on polytopes Plenary Abstract: Control and system theory of hybrid systems is motivated by engineering examples, has so far only a very limited number of substantial results, and faces many computational problems. Control theory of hybrid systems is faced with limitations of decidability and of computational complexity. What is relevant is not only the computability of discrete sets but primarily the computability of subsets of the real numbers. To cope with the complexity of control synthesis of hybrid systems, attention is restricted to piecewise-affine hybrid systems on polytopes. For this class the algebraic, geometric, and computability properties can mostly be handled in a satisfactory way. Many concrete engineering examples can be modeled by systems of this class. E.D. Sontag has proposed this class of hybrid systems in a 1981 paper. Control problems for hybrid systems often concern transfering the system from an initial state to a prespecified terminal state, which is also called the reachability problem. It will be shown how this problem can be reduced to the control-to-facet problem and to a search for a path in the state set of an automaton. The software package CONPAHS for this approach will be described. Engineering examples will be presented. In addition, an example from systems biology will be described which involves abstraction from a hybrid system to an automaton. Biography. Jan H. van Schuppen is affiliated as senior researcher with the the research institute Centrum Wiskunde en Informatica (CWI) in Amsterdam, The Netherlands and as Full Professor with the Department of Mathematics of the VU University Amsterdam (part time). Van Schuppen's research interests include control of hybrid systems and of discrete-event systems, stochastic control, realization, and system identification. In applied research his interests include engineering problems of control of motorway traffic, of control of distributed and hierarchical networks, and control and system theory for the life sciences. He is Editor-in-Chief of the journal Mathematics of Control, Signals, and Systems, was Associate Editor-at-Large of the journal IEEE Transactions Automatic Control, and was Department Editor of the journal Discrete Event Dynamic Systems.