Abstract: Most research in control engineering considers periodic or time-driven control systems. Event based control is particularly a very promising alternative when systems with reduced computation and communication capacities are considered. For event-driven controllers it is the occurrence of an event, instead of the autonomous progression of time what decides when the sampling should be made. This lecture presents an overview of event based control systems from a historical perspective giving special attention to the concept of event. It is shown in some detail what in the seventies was called adaptive sampling. The mainbased event sampling schemes and different strategies of control design are described. In particular the cases of relay control system, reset control system and event based PID control are analyzed from the perspective of event based control.
Biodata: Sebastián Dormido received his BSc and MSc degree in Physics from Universidad Complutense de Madrid in 1968 and 1969 and a PhD in Science from Universidad del Pais Vasco in 1971. Since 1975 he has been Full Professor at Facultad de Ciencias Físicas of Universidad Complutense de Madrid (1975-1982) and Escuela Técnica Superior de Ingeniería Informática at UNED (1982-). He has served as Vicerrector of Research (1983-1985) in UNED. His research interest is: Computer Control, Event Based Control, Modelling-Simulation and Control Education with emphasis on Remote and Virtual labs. He has authored or co-authored over 300 technical papers in international journals and conferences and has supervised 40 Ph.D. students. From 2001-2006 has been President of the Spanish Association of Automatic Control (CEA). In 2007 received a Doctor Honorary Degree from Universidad de Huelva, in 2008 the National Automatic Control prize from Spanish Automatic Control Committee and in 2013 received a Doctor Honorary Degree from Universidad de Almería. From 2014 is the Chair of the IFAC Technical Committee on Control Education (TC9.4).
Abstract: The state space complexity is a well know obstacle in formal verification and supervisory control. A number of approaches to handle this problem have been suggested. In this keynote, we will present three tools that partly complement each other for efficient computation of optimal supervisors. The first one is based on a specific data representation called BDD – binary decision diagrams. This symbolic data representation has shown to be successful for computation of high dimensional supervisors, especially for models that include discrete variables as a complement to ordinary states.
A second method introduces a powerful abstraction and reduction method called visible bisimulation. It has the strength that general temporal logic formulas including most of CTL*, are preserved by this reduction technique. Some completely new results will be shown in this talk, which illustrates how CTL* specifications can be analyzed and used for synthesis. Finally, optimality in terms of performance but also energy for discrete event and hybrid systems will be illustrated using Constraint Programming (CP). Compared to more traditional MILP/MINLP formulations in operations research, CP has the strength of improving the discrete search. The three methods will be highlighted and their efficiency will be documented at the presentation.
Biodata: Bengt Lennartson is a Professor of the Chair of Automation since 1999 at Chalmers University of Technology, Gothenburg, Sweden. He is Head of the Division of Systems and Control at the Department of Signals and Systems, and he is IEEE Fellow for his contributions to hybrid and discrete event systems for automation and sustainable production. He has been Associate Editor for Automatica and IEEE Transaction on Automation Science and Engineering, General Chair of CASE 2015, and WODES 2008. He is (co)author of 270+ peer reviewed international papers, and currently, much intention is focused on sustainable production, including energy minimization of robot cells. Collaboration with industry involves Volvo, GM, Daimler, Kuka, and TetraPak.
Abstract: Today, our digital society exchanges data flows as never it has been the case in the past. The amount of data is incredibly large and the future promises data exchanges between humans and also technological equipment such as robots, cars, planes, etc. We are just opening the doors of the Internet of Things (IoT). This data orgy will waste a lot of energy. Indeed, Internet and the so- called “new technologies” already consume about 10% of the electrical power produced in the world. Even if it already exists design solutions to enhance the energetic performances of the electronic systems (a lot of techniques and also a lot of publications!), it appears more and more relevant to reduce the amount of data to go further. Rather than sampling as a fixed rate, non-uniform sampling and event detection appear as relevant solutions to reduce the amount of data produced by the analog-to-digital conversion. Indeed, useless data produce more computation, more storage, more communications and also more power consumption. Disregarding the Shannon theory, we can discover new analog-to- digital conversions and sampling processing techniques. The talk will present a set of ideas that can be explored in the event-based framework covering the event-based detection, sampling and the signal processing techniques as well, which can be applied with simple or complex sensors such as image sensors. It is time to rethink the sampling and signal processing paradigm to drastically reduce the useless data.
Laurent Fesquet (IEEE M’99, S’09), received the Ph.D. degree in electrical engineering from Paul Sabatier University, Toulouse, France, in 1997. In 1995, he was a Lecturer in charge of electronics and inertial navigation systems with the French Navy Instruction Center. In 1999, he joined the Grenoble Institute of Technology, Grenoble, France, as an Associate Professor. Since 2008, he has been Deputy Director of CIME Nanotech, an academic center that supports microelectronic teaching and research activities. His research, initially focused on asynchronous circuit design, has been extended in 2000 to non-uniform sampling techniques in order to enhance the analog-to- digital conversion. Since, he has been general chair in 2009 and program chair in 2011 and 2013 of the Sampling Theory and applications conference (SampTA). He has also been the program chair of the two first editions of the Event-based Control, Communication and Signal Processing conference (EBCCSP). His current research at the TIMA Laboratory today covers asynchronous circuit design, computer-aided design (CAD) for event-based systems and non-uniform signal processing.