Computer Aided Control System Design
Hybrid Dynamic Systems
Chair: Pieter J. Mosterman      
IEEE 
Control Systems Society
 

home glossary projects groups centers people publications software news other benchmarks

Hybrid System Researchers

The following individuals are active in the field of hybrid systems. If you would like to be included or if I have misinterpreted your research intersts, please send me e-mail. 

Faculty

Rajeev Alur  Department of Electrical Engineering, University of Pennsylvania     verification  
Panos J. Antsaklis  Department of Electrical Engineering, University of Notre Dame   simulation    
Fernando J. Barros  Departamento de Engenharia Informática, Universidade de Coimbra modeling simulation    
Paul I. Barton  Department of Chemical Engineering, Massachusetts Institute of Technology modeling simulation    
Bo Bernhardsson  Dept. of Automatic Control, Lund Institute of Technology modeling simulation    
D.A. van Beek  Systems Engineering Group, Eindhoven University of Technology   simulation   specification
Alberto Bemporad Dipartimento di Ingegneria dell'Informazione, Università di Siena modeling   verification  
Gautam Biswas  Computer Science Department, Vanderbilt University modeling simulation    
Vincent D. Blondel   Department of Mathematical Engineering, Université catholique de Louvain     verification  
Bernard Boigelot  Montefiore Institute, University of Liège     verification  
Michael S. Branicky  Department of Electrical Engineering and Applied Physics, Case Western Reserve University modeling simulation verification specification
Roger W. Brockett  Division of Engineering and Applied Sciences, Harvard University        
Jan F. Broenink  Control Laboratory, University of Twente modeling simulation    
Jean Buisson  Ecole Supérieure d'Electricité, Campus de Rennes modeling simulation    
Martin Buss  Institute of Measurement and Automation, Technical University of Berlin   simulation verification  
François E. Cellier  Control Laboratory, University of Arizona modeling simulation    
Anindya Chatterjee   Mechanical Engineering Department, Indian Institute of Science modeling simulation    
Mourad Chouikha   Institute of Control and Automation Engineering, Technical University of Braunschweig modeling     specification
Akash R. Deshpande  California PATH, UC Berkeley     verification  
Subhrakanti Dey  Research School of Information Sciences and Engineering, Australian National University     verification  
Maria Domenica Di Benedetto  Department of Electrical Engineering, Università de L'Aquila modeling   verification  
Bo Egardt  Control Engineering Laboratory, Chalmers University of Technology     
Sebastian Engell  Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund modeling simulation verification  
John Fitzgerald  Centre for Software Reliability, University of Newcastle upon Tyne       specification
Peter Gawthrop  Centre for Systems and Control, Glasgow University modeling simulation    
Norbert Giambiasi  Laboratoire des Sciences de l'Information et des Systèmes modeling simulation    
Alessandro Giua  Automatic Control Group, University of Cagliari modeling     specification
Christoph Glocker  Lehrstuhl B für Mechanik, Technische Universität München modeling      
Aleks Göllü  California PATH, UC Berkeley   simulation    
Christoph Grimm  Technische Informatik, J.W. Goethe-Universität Frankfurt     verification specification
Radu Grosu  Institut für Informatik, Technische Universität München     verification specification
Maurice Heemels  Measurement and Control Systems Group, Eindhoven University of Technology modeling   verification  
Jozef Hooman  Technical Applications Group, Eindhoven University of Technology     verification specification
Thomas A. Henzinger  Electrical Engineering and Computer Sciences, University of California at Berkeley     verification  
João Pedro Hespanha Department of Electrical Engineering, University of Southern California     verification  
Jun-ichi Imura  Graduate School of Information Science and Engineering, Tokyo Institute of Technology modeling   verification  
Bart Jacobs  Royal Netherlands Academy of Arts and Sciences       specification
Fakhreddine Karray  Department of Systems Design Engineering, University of Waterloo modeling   verification  
Tak-Kuen John Koo  Department of Electrical Engineering and Computer Science, University of California at Berkeley modeling   verification specification
Nick T. Koussoulas   Laboratory for Automation and Robotics, University of Patras modeling simulation verification  
Stefan Kowalewski  Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund     verification  
Volker Krebs  Control Systems Laboratory, Universität Karlsruhe (TH) modeling   verification specification
Bruce H. Krogh  Electrical and Computer Engineering, Carnegie Mellon     verification specification
Heiko Krumm  Computer Networks and Distributed Systems, Universität Dortmund     verification specification
Zenon Kulpa  Institute of Fundamental Technological Research, Polish Academy of Sciences     verification  
Kim Guldstrand Larsen  Department of Computer Science, Aalborg University     verification  
Michael D. Lemmon  Department of Electrical Engineering, University of Notre Dame       specification
John Lygeros Department of Engineering, University of Cambridge     verification  
Nancy A. Lynch  Theory of Distributed Systems Group,Massachusetts Institute of Technology     verification specification
Claudio Maffezzoni Department of Electronic Engineering and Information Sciences, Politecnico di Milano modeling     specification
Zohar Manna  Department of Computer Science, Stanford University     verification   
Florence Maraninchi  Institut National Polytechnique de Grenoble     verification  specification
Sven Erik Mattsson  Department of Automatic Control, Lund Institute of Technology modeling simulation    
Martin von Mohrenschildt  Software Engineering Group, McMaster University     verification  specification
Manfred Morari  Automatic Control Laboratory, Swiss Federal Institute of Technology modeling   verification   
A. Stephen Morse   Department of Electrical Engineering, Yale University     verification   
Sanjoy K. Mitter  Laboratory for Information and Decision Systems, Massachusetts Institute of Technology       specification
Simin Nadjm-Tehrani  Laboratory for Temporal-system Correctness and Algorithmics, Linköping University modeling   verification  
Anil Nerode  Cornell University       specification
Ümit Özgüner  Department of Electrical Engineering, Ohio State University     verification  
Costas C. Pantelides  Centre for Process Systems Engineering, Imperial College, London modeling simulation    
George J. Pappas Department of Electrical Engineering, University of Pennsylvania modeling simulation verification  
Sven Pawletta  Department of Electrical Engineering, University of Rostock modeling simulation    
Thorsten Pawletta  Department of Mechanical and Process/Environmental Engineering, Hochschule Wismar/Universität Rostock modeling simulation    
Friedrich Pfeiffer  Lehrstuhl B für Mechanik, Technische Universität München modeling      
Peter J. Ramadge  Department of Electrical Engineering, Princeton University       specification
Anders P. Ravn Department of Information Technology, Technical University of Denmark modeling     specification
Hans Rischel Department of Information Technology, Technical University of Denmark     verification specification
Mauno Rönkkö Department of Computer Science and Applied Mathematics, University of Kuopio     verification  
Andy Ruina Theoretical and Applied Mechanics, Cornell University modeling      
Erik Sandewall Department of Computer and Information Science, Linköping University       specification
Alberto Sangiovanni-Vincentelli Electrical Engineering and Computer Sciences, UC Berkeley     verification specification
Shankar Sastry Electronics Research Laboratory, UC Berkeley     verification specification
Eckehard Schnieder   Institute of Control and Automation Engineering, Technical University of Braunschweig modeling     specification
Hans Schumacher Department of Econometrics, Tilburg University     verification specification
Jan H. van Schuppen Department of Mathematics and Computer Science, Eindhoven University of Technology     verification  
Bart De Schutter Control Lab, Faculty of Information Technology and Systems, Delft University of Technology     verification specification
Amit Shukla Department of Manufacturing and Mechanical Engineering, Miami University modeling   verification  
David Sinclair School of Computer Applications, Dublin City University       specification
Tarek M. Sobh Interdisciplinary Robotics, Intelligent Sensing, and Control (RISC) Laboratory, University of Bridgeport     verification specification
Eduardo D. Sontag Rutgers Center for Systems and Control, Rutgers University       specification
Michael Tittus Control Engineering Laboratory, Chalmers University of Technology modeling   verification  
Claire Jennifer Tomlin Electrical Engineering, Stanford University     verification  
Luis Urbina Institut für Informatik, Christian-Albrechts-University of Kiel   simulation    
Vadim I. Utkin Department of Electrical Engineering, Ohio State University modeling simulation    
Frits W. Vaandrager Faculty of Mathematics and Computer Science, University of Nijmegen       specification
Hans Vangheluwe School of Computer Science, McGill University modeling simulation    
Claire Valentin LAGEP, Université Claude Bernard Lyon 1 modeling   verification  
Pravin Varaiya UC Berkeley     verification  
Markus Wösle  Lehrstuhl B für Mechanik, Technische Universität München modeling      
Sergio Yovine Centre National de la Recherche Scientifique     verification specification
Feng Zhao Computer & Information Science, Ohio State University modeling     specification

Post Doctoral Students

Emanuele Carpanzano Department of Electronic Engineering and Information Sciences, Politecnico di Milano modeling     specification
J. M. Davoren Center for Foundations of Intelligent Systems, Cornell University and Research School of Information Sciences and Engineering, Australian National University modeling   verification specification
Peter Herrmann Computer Networks and Distributed Systems, University of Dortmund     verification specification
Karl Henrik Johansson Department of Electrical Engineering and Computer Science, University of California at Berkeley   simulation verification  
Yassine Lakhnech  Institute of Computer Science and Applied Mathematics, Christian-Albrechts-University of Kiel     verification  
Rogério de Lemos Centre for Software Reliability, University of Newcastle upon Tyne     verification specification
Angelika Mader Informatics for Technical Applications, Katholieke Universiteit Nijmegen     verification  
Sheila McIlraith Knowledge Systems Lab, Stanford University modeling      
Anuj Puri Electrical Engineering and Computer Sciences, UC Berkeley     verification  
Mohammad Rezai Department of Computer Science, University of Waterloo modeling      
Emilia Villani Laboratório de Sistemas de Automação, University of São Paulo modeling simulation    

Doctoral Students

Mayank B. Amin Department of Electrical and Computer Engineering, University of Minnesota     verification  
Peter Amthor Technologie-Zentrum Informatik, Universität Bremen     verification  
Michael Beitelschmidt Lehrstuhl B für Mechanik, Technische Universität München modeling      
Mireille Broucke UC Berkeley modeling   verification  
Pieter Cuijpers Eindhoven Embedded Systems Institute, Eindhoven University of Technology modeling     specification
Conrado Daws VERIMAG     verification  
Krister Edström Division of Automatic Control, Linköping University modeling      
Magnus Egerstedt Division of Optimization and Systems Theory, Royal Institute of Technology modeling   verification  
Georgina Fábián Systems Engineering Group, Eindhoven University of Technology   simulation   specification
Abdelfettah Hocine Control and Signal Processing, Centre de Recherche en Automatique de Nancy modeling      
Ingo Hoffmann Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund modeling      
Paul Hubbard Centre for Intelligent Machines, McGill University       specification
Yerang Hur Department of Computer and Information Science, University of Pennsylvania modeling simulation    
Abolfazl Jalilvand Department of Electrical Engineering, University of Tabriz, Iran     verification  
Arjun Kapur Department of Computer Science, Stanford University     verification  
Man Lin The Autonomous Systems Laboratory, Linköping University     verification specification
Jie Liu Department of Electrical Engineering and Computer Science, University of California, Berkeley   simulation   specification
Sayan Mitra Laboratory for Computer Science, Massachusetts Institute of Technology modeling   verification  
Todd W. Neller Department of Computer Science, Stanford University     verification  
Gero M. Nenninger   Control Systems Laboratory, Universität Karlsruhe (TH) modeling   verification  
Stefan Pettersson Control Engineering Lab, Chalmers University of Technology     verification  
Jörg Preußig Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund     verification  
Alexander Pretschner Institut für Informatik, Technische Universität München modeling     specification
Mark K. Schnabel Control Systems Laboratory, Universität Karlsruhe (TH) modeling     specification
Omid Shakernia Robotics Laboratory, University of California at Berkeley     verification  
Silke Simon Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund       specification
H. Tunc Simsek Electrical Engineering and Computer Science, University of California, Berkeley   simulation    
Henny Sipma REACT research group, Stanford University     verification specification
Thomas Stauner  Institut für Informatik, Technische Universität München     verification specification
Olaf Stursberg  Lehrstuhl für Anlagensteuerungstechnik, Universität Dortmund     verification  
Zanma Tadanao Okuma Lab, Nagoya University       specification
Jean Henry Thomas Department of Computer and Information Science, University of Pennsylvania     verification specification
Salvatore La Torre Supélec, Université Paris Sud     verification  
Rene Vidal Department of Electrical Engineering and Computer Sciences, University of California at Berkeley     verification  

Industry or Government

Eugene Asarin  Institute for Information Transmission Problems     verification specification
Olivier Bournez PROTHEO, INRIA modeling   verification  
Jamal Daafouz Centre de Recherche en Automatique de Nancy, CRAN CNRS, INPL - ENSEM     verification  
Hilding Elmqvist Dynasim modeling simulation    
Giancarlo Ferrari Trecate Institut National de Recherche en Informatique et en Automatique (INRIA) modeling simulation    
Datta Godbole  Honeywell     verification  
Moshe Gotesman JavaSoft Division, Sun Microsystems modeling simulation    
Vineet Gupta Intelligent Systems Group, NASA Ames Research Center       specification
Oded Maler Laboratoire VERIMAG     verification specification
Pieter J. Mosterman Control Design Engineering, DLR Oberpfaffenhofen modeling simulation    
Martin Otter Control Design Engineering, DLR Oberpfaffenhofen modeling simulation    
Jörg Raisch Systems and Control Theory Group, Max-Planck-Institut Magdeburg modeling      
Sonia R. Sachs Imaging and Distributed Computing Group, Ernest Orlando Lawrence Berkeley National Laboratory     simulation  
Joseph Sifakis Laboratoire VERIMAG     verification specification
Robert Valette Organization and Control of Discrete Systems, Laboratoire d'Analyse et d'Architecture des Systemes     verification specification
Howard Wong-Toi Cadence Berkeley Labs Cadence Design Systems     verification specification
 
EDITORIAL
This page was last updated September 25, 2002.