Plenary Speakers

Panos Antsaklis

Prof Panos Antsaklis
University of Notre Dame, USA

On Control and Cyber-Physical Systems: Challenges and Opportunities for Discrete Event and Hybrid Systems
Wednesday 9:00-10:00, Runan

Networked digital devices interacting with physical and engineered systems are becoming ubiquitous and will be more so in the future. A deep understanding of the interactions between the cyber and physical worlds is essential in being able to build robust and safe systems, and this issue is receiving increased attention in the US by the networking and information technology community. Stronger cross-fertilization of ideas between Control Systems, Networking and Computer Science is needed in both research and education to build these systems. In this talk, the main issues in cyber-physical systems will be discussed first in detail. A brief overview of a supervisory control approach in discrete event systems using Petri nets will be given with connections to computer science problems and a promising approach to design cyber-physical systems using passivity that include human interaction will be outlined.

Biography: Panos Antsaklis is the H. Clifford and Evelyn A. Brosey Professor of Electrical Engineering and Concurrent Professor of Computer Science and Engineering at the University of Notre Dame. He served as the Director of the Center for Applied Mathematics of the University of Notre Dame from 1999 to 2005. He is a graduate of the National Technical University of Athens (NTUA), Greece, and holds MS and PhD degrees from Brown University. His recent research focuses on networked embedded systems and addresses problems in the interdisciplinary research area of control, computing and communication networks, and on hybrid and discrete event dynamical systems. He is an IEEE Fellow for his contributions to the theory of feedback stabilization and control of linear multivariable systems, and he was the 1997 President of the IEEE Control Systems Society (CSS). In 2006-07 he was member of the subcommittee on Networking and Information Technology of the President's Council of Advisors for Science and Technology (PCAST) that advises the President of the United States on Science and Technology federal policy issues.

Kim Larsen

Prof Kim G. Larsen
Aalborg University, Denmark

Model Checking Embedded and Real Time Systems
Thursday 11:00-12:00, Runan

Given that the 2007 Turing Award was recently given to Ed Clarke, Alan Emerson and Joseph Sifakis for their ground-breaking work on Model Checking the talk will present two model checking tools, UPPAAL and visualSTATE. The "secrets" behind their success will be revealed, UPPAAL being the most efficient tool for verifying timed systems, and visualSTATE allowing for verification of 10500 states using a patented method we have developed. Also, current research on applying and specializing UPPAAL to controller synthesis will be addressed.

Biography: Kim G. Larsen holds an MSc in Mathematics and Computer Science from University of Aalborg, Denmark, and a PhD in Computer Science from Edinburgh University, Scotland. He is a Professor of Computer Science at Aalborg University, Industrial Professor at Twente University, The Netherlands, and director of CISS, the Center for Embedded Software Center. Kim G. Larsen became Honorary Doctor (Honoris causa) at Uppsala University in 1999 for his outstanding contributions to the popular verification tool UPPAAL. In 2005 he received the Danish Citation Laureates Award, Thomson Scientific, as the most cited Danish computer scientist in the period 1990-2004. In 2007 he became Honarary Doctor (Honoris causa) at Laboratoire Specification et Verification, Ecole Normale Superieure Cachan, France. He is currently ranked no. Ranked 531 on Citeseer and has H-number 39 according to Google Scholar. He is prime investigator in the real-time verification tool UPPAAL (http://www.uppaal.com/) and main contributor to the engine of the tool visualSTATE (http://www.iar.com/).

Stephan Biller

Dr Stephan Biller
General Motors R&D Center, Detroit, USA

Digital Manufacturing: The Nexus of the Real-time Information Enterprise and the Digital Factory using of Flexible Reconfigurable Equipment
Friday 11:00-12:00, Runan

In this talk, we introduce three new concepts in manufacturing: First, we describe the real-time information enterprise, where local real-time decision making on the factory floor is being replaced by decision support systems determining (or even making) system-optimal resource allocation decisions based on the actual and predicted state of the manufacturing system. Secondly, we are moving towards a digital manufacturing engineering factory where manufacturing systems are completely designed, validated, and launched in math prior to commissioning. Thirdly, we will describe the research challenges in synchronizing the real-time information enterprise and the digital factory.

Biography: Stephan Biller is a group manager for plant floor systems and manufacturing controls at the General Motors R&D Center in Warren, Michigan. Directing global teams from India, China, Sweden and the US, he is currently responsible for the development of the global real-time optimized manufacturing enterprise and the digital factory. His further research interests are the mathematical modeling of business applications including manufacturing flexibility, e-business, supply chain design and portfolio management. He holds a BS/MS in electrical engineering from the Technical University of Aachen, Germany, a Ph.D. in Industrial Engineering and Management Science from Northwestern University and an MBA from the University of Michigan.