Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.


Development of Model-based Tools for the Design of Embedded Systems in Control Applications

Embedded systems are a key enabling technology for the recent vast increase in functionality of a huge list of control applications such as avionics, automotive electronics, manufacturing systems, power networks, medical devices and transportation systems. The high-profile and safety-critical nature of the control applications have fostered a large and growing body of work on formal methods for model-based design of embedded systems. Hybrid systems have proved to be an invaluable system-level modeling abstraction, suitable for performing model-based design. Many model-based tools have been developed to enable the design of embedded systems. This talk will introduce some important classes of hybrid system models and related theoretical and computational issues. Current development of various model-based tools and their applications will be presented.

Type of Seminar:
IfA Seminar
Prof. John Koo
Center for Embedded Software Systems, Shenzhen Institutes of Advanced Technology, Shenzhen, China
Oct 26, 2011   16:15

ETl K25, Physikstrasse 3
Contact Person:

John Lygeros
No downloadable files available.
Biographical Sketch:
T. John Koo received the Ph.D. degree in electrical engineering from the University of California at Berkeley in 2000, and the M.Phil. degree in information engineering and the B.Eng. degree in electronic engineering from the Chinese University of Hong Kong in 1994 and 1992, respectively. He is Professor and Director of the Center for Embedded Software Systems, Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences. His research interests include embedded software, hybrid systems, nonlinear control, and robotics. He is the recipient of the U.S. National Science Foundation Faculty Early CAREER Development Award, Vanderbilt University, in 2005, and the Distinguished M.Phil. Thesis Award of the Faculty of Engineering, the Chinese University of Hong Kong, in 1994. He is a senior member of IEEE and a member of ACM and Sigma Xi.