University of
Patras (UPAT)
The
coordinator of the project was the
University of Patras
(UPAT). The
university was founded in 1964 and is one of the largest Universities in
Greece. It comprises 22 Departments organized in 5 schools, employs 670
faculty members and has 20,000 undergraduate and 2,800 postgraduate
students. Over the years, 2,750 research projects have been carried out,
most administered by the University’s Research Committee. The COLUMBUS team
of UPAT was based in the
Department of Electrical and Computer
Engineering,
was led by the coordinator, Dr. John Lygeros, and involved 2 postdoctoral
researchers (Dr Ioannis Kitsios and Dr Chrysostomos Stylios), 5 graduate
students (Theodoros Arambatzis, Gregorios Davrazos, Leonidas Dritsas,
Michael Psalidas and Athanasios Tsoukalas), one undergraduate (Christos
Georgopoulos) and 2 support stuff (Magdalini and Eleni Balkamou), all on a
part time basis.
The team
leader,
Dr John Lygeros completed a B.Eng. degree in Electrical Engineering in 1990
and an M.Sc. degree in Control in 1991, both at Imperial College, London. He
then obtained a Ph.D. in 1996, from the Electrical Engineering and Computer
Sciences department, University of California, Berkeley. He held a series of
postdoctoral research appointments at the National Automated Highway Systems
Consortium, M.I.T., and U.C. Berkeley. In parallel, he also worked as a part
time Research Engineer at SRI International, and as a visiting professor at
the Mathematics Department of the Universite de Bretagne Occidentale,
France. Between July 2000 and March 2003 he was a University Lecturer at the
Department of Engineering, University of Cambridge, Cambridge U.K. Since
March 2003 he has been an Assistant Professor at the Department of
Electrical and Computer Engineering, University of Patras, Patras, Greece.
His research interests include modeling, analysis and control of
hierarchical, hybrid systems, with applications to large-scale systems such
as automated highways, air traffic management, and power networks.
University of
Cambridge (UCAM)
The COLUMBUS
team at the
University of Cambridge
was based in the
control group,
which is part of
Information Engineering,
one of the six divisions in the
Department of Engineering.
The control group comprises five faculty members (one professor, two readers
and two lecturers) and a number of graduate students, research associates
and visiting researchers. The COLUMBUS team was led initially by Dr John
Lygeros and subsequently by Professor Keith Glover and involved two
postdoctoral research associates, Dr Manuela Bujorianu and Dr Chenggui Yuan.
The team leader,
Professor Keith Glover,
received the B.Sc.(Eng) degree from Imperial College, London in 1967, and
the S.M., E.E. and Ph.D. degrees from the Massachusetts Institute of
Technology, Cambridge, in 1971, 1971 and 1973, respectively, all in
electrical engineering. He was an Assistant Professor of Electrical
Engineering at the University of Southern California in Los Angeles from
1973-76 and in 1976 he returned to England and joined the Department of
Engineering at the University of Cambridge, where he has remained. His
present position is Professor of Engineering and Deputy Head of Department
(Research), and he is due to become the Head of Department in October 2002.
His current research interests include robust control, model approximation
and applications in aerospace and automotive industries. He is a Fellow of
the IEEE, a Fellow of the Royal Society, a Fellow of the Royal Academy of
Engineering and a Fellow of the Inst. MC. In 2001 he was awarded the IEEE
Control Systems Award (Technical Field Award).
Dr Jan Maciejowski is a Reader in
Control Engineering in the Department of Engineering at the University of
Cambridge, and currently Head of the Control Group. He is also a Fellow of
Pembroke College, Cambridge. He graduated from Sussex University in 1971
with a B.Sc degree in Automatic Control, and from Cambridge University in
1978 with a Ph.D degree in Control Engineering. From 1971 to 1974 he was a
Systems Engineer with Marconi Space and Defence Systems Ltd, working mostly
on attitude control of spacecraft and high-altitude balloon platforms. He
is currently President of the European Union Control Association. In 2002 he
was President of the Institute of Measurement and Control.
He has held Visiting Professorships at the University of
California at Santa Barbara, at Delft Technological University, and at NTU
Singapore. He has also consulted for several UK and US companies on various
control and signal processing problems. His book "Multivariable Feedback
Design", published by Addison-Wesley in 1989, received the IFAC Control
Engineering Textbook Prize in 1996. In 2001 he published "Predictive Control
with Constraints" (Prentice-Hall).
His current research interests are in predictive control, its
application to fault-tolerant control, in hybrid systems, and in system
identification.
University of
L’Aquila (AQUI)
The
University of L’Aquila
one of the oldest universities in the Western World, was founded in 1458. At
present, it has 19 departments, 10 inter-departmental research centers, more
than five hundred faculty and about two thousands students. The Department
of Electrical Engineering has over fifty faculty members and is responsible
for research and teaching in both Electrical Engineering and Computer
Sciences. The University of L’Aquila is the only Italian university who
earned, after a highly competitive process, two centers of excellence for
research sponsored by the Italian Ministry of University, Scientific and
Technological Research.
The
Center of Excellence DEWS
directed by Professor Di Benedetto, “Architectures and Design Methodologies
for Embedded Controllers, Wireless Interconnect and System-on-Chip” will be
the entity responsible for the research project.
The team
leader,
Professor Maria Domenica Di Benedetto
obtained the "Dr. Ing." degree (summa cum laude) of Electrical Engineering
and Computer Science, University of Roma “La Sapienza” in 1976. In 1981, she
obtained the degree “Docteur-Ingenieur” and in 1987 the degree “Doctorat
d'Etat Sciences”, Universite’ de Paris-Sud, Orsay, France. From 1979 to
1983, she was research engineer at the scientific centers of IBM in Paris
and Rome. From 1983 to 1987, she was “Ricercatore” at the University of Roma
“La Sapienza”. From 1987 to 1990, she was Associate Professor at the
Istituto Universitario Navale of Naples. From 1990 to 1993, she was
Associate Professor at the University of Roma “La Sapienza”. Since 1994, she
has been Professor of Control Theory at University of L’Aquila. Since 1995,
she has been Adjunct Professor, Department of EECS, University of California
at Berkeley. In 1987, she was Visiting Scientist at MIT; in 1988, 1989 and
1992, Visiting Professor at the University of Michigan, Ann Arbor; in 1992,
Chercheur Associe’, C.N.R.S., Poste Rouge, Ecole Nationale Superieure de
Mecanique, Nantes, France; in 1990, 1992, 1994 and 1995, McKay Professor at
the University of California at Berkeley. She is the Scientific Director of
the Center of Excellence for Research DEWS on “Architectures and Design
methodologies for Embedded controllers, Wireless interconnect and
System-on-chip”. She is an IEEE Fellow for contributions on non-linear and
hybrid control.
The AQUI team
worked in close collaboration with the UCAM subcontractor, the
PARADES
laboratory
in Rome Italy. The leader of the lab,
Professor Alberto
Sangiovanni-Vincentelli
holds the Edgar L. and Harold H. Buttner Chair of Electrical Engineering and
Computer Sciences at the University of California at Berkeley and the
Vice-Chair position for Industrial Relations. He has been on the Faculty
since 1976. He was a co-founder of Cadence and Synopsys, the two leading
companies in the area of Electronic Design Automation. He is the Chief
Technology Advisor of Cadence Design System. He is a member of the Board of
Directors of Cadence, where he is the Chairman of the Nominating Committee,
Sonics Inc., Accent, a ST Microelectronics-Cadence joint venture, and
Softface, a start-up in the area of natural language understanding. He is
the founder of the Cadence Berkeley Laboratories and of the Cadence European
laboratories. He has consulted for a number of US companies including IBM,
Intel, ATT, Actel, GTE, GE, Harris, Nynex, Teknekron, DEC, HP, Japanese
companies including Kawasaki Steel, where he holds the title of Chief
Technology Advisor, Fujitsu, Sony and Hitachi, and European companies
including SGS-Thomson Microelectronics, Alcatel, Daimler-Benz, Ericsson,
Magneti-Marelli, BMW, Bull. He is the founder and Scientific Director of the
Project on Advanced Research on Architectures and Design of Electronic
Systems (PARADES), a European Group of Economic Interest supported by
Cadence, Magneti-Marelli and ST Microelectronics. In 1981, he received the
Distinguished Teaching Award of the University of California. He received
the worldwide 1995 Graduate Teaching Award of the IEEE (a Technical Field
award for ``inspirational teaching of graduate students"). He won the 2001
Kaufmann Award, an honor bestowed by the EDA Industry Consortium to the key
contributors to the Design Automation field. He has received numerous awards
including the Guillemin-Cauer Award (1982-1983), the Darlington Award
(1987-1988) of the IEEE for the best paper bridging theory and applications,
three best paper awards and one best presentation awards at the Design
Automation Conference, the leading conference in design tools and
methodologies. He is an author of over 580 papers and fifteen books in the
area of design tools and methodologies, large-scale systems, embedded
controllers, and hybrid systems. Dr. Sangiovanni-Vincentelli is Fellow of
the IEEE since 1982 and a Member of the National Academy of Engineering
since 1998.
INRIA is French
government research laboratory, for research in computer science and applied
mathematics. One of its locations is the
Irisa laboratory
in Rennes, where this team is located. The team comprises researchers from
two groups: S4 and Espresso. The S4 group (Benoît Caillaud,
Albert Benveniste, Philippe Darondeau) focuses on models, algorithms, and
methods, for the deployment of distributed reactive systems. The Espresso
group (Paul Le Guernic) develops methods for multi-level system design; it
supports the Signal synchronous language. Both groups have had a
longstanding cooperation with TNI (now TNI-Valiosys), and SME developing and
marketing Sildex, a tool for embedded system modeling and design
based on the Signal language.
Albert
Benveniste
was born in 1949; he graduated in 1971 from Ecole des Mines de Paris. He
performed his Thèse d'Etat in Mathematics, probability theory, in 1975. From
1976 to 1979 he was associate professor in mathematics at Université de Rennes
I. From 1979 to now he has been Directeur de Recherche at INRIA. His interests
include: system identification and change detection in signal processing and
automatic control, vibration mechanics, and reactive and real-time systems
design in computer science. He has coauthored with M. Métivier and P. Priouret
the book "Adaptive Algorithms and Stochastic Approximations", and has been an
editor, jointly with Michèle Basseville of the collective monograph "Detection
of abrupt changes in signals and systems". He has been co-inventor, jointly with
Paul Le Guernic, of the synchronous language Signal for reactive systems design.
In 1980 Albert Benveniste was co-winner of the IEEE Trans. on Automatic Control
Best Transaction Paper Award for his paper on blind deconvolution in data
communications. In 1990 he received the CNRS silver medal and in 1991 he has
been elected IEEE fellow. From 1986 to 1990 he was vice-chairman of the IFAC
committee on Theory and was chairman of this committee for 1991-1993. From 1987
to 1990 he was associate editor for IEEE Transactions on Automatic Control, and,
from 1991 to 1995, he was Associate Editor at Large for this journal. He has
been associate editor for Int. J. of Adaptive Control and Signal Processing, and
he is Associate Editor for the Int. J. of Discrete Event Dynamical Systems. He
is currently member of the Editorial Board of the Proceedings of the IEEE. From
1994 to 1996 he has been Directeur Scientifique (Senior Chief Scientist) at
INRIA, and since 1996 he is member of the INRIA board, where he manages the
overall joint research programme between Alcatel and Inria. From 1997 to 2001,
he has been chairman of the "software chapter" of the RNRT funding programme of
the Frenchgovernment, for telecommunications (Réseau National de la Recherche en
Télécommunications).
Benoît Caillaud,
born in 1966, is researcher at IRISA / INRIA-Rennes since 1997. He is currently
leading the S4 research team of IRISA, created in April 2001. From 1986 to 1990,
he has been granted a scholarship at “École Normale Supérieure” in Paris where
he studied physics and computer science. He received a PhD degree in Computer
Science from the University of Rennes 1 in 1994. He has been post-doctoral
research assistant at LFCS, The University of Edinburgh, UK, in 1994, 1995 and
1996. His research interests cover the fundamental aspects of distributed
program synthesis: distribution of reactive programs, Petri-Net synthesis,
communication protocols synthesis, analysis and implementation of message
sequence charts/graphs (MSC/MSG), distributed control of discrete event systems.
He has been involved in a long-term collaboration with Alcatel (Reutel project,
1997-2000), on the integration of formal methods and object-oriented software
development methods in a telecommunication software development methodology. He
has also taken part in the Esprit OMI project MODISTARC (1997-1999), on the
validation of OSEK/VDX automotive embedded architectures.
Philippe
Darondeau,
born in 1948, qualified as an engineer in applied mathematics at ENSIMAG (Grenoble)
in 1970. He worked there until 1978 as a researcher at CNRS, and wrote his Thèse
d'Etat on the subject of protection in operating systems. He then moved to IRISA
in Rennes and worked subsequently in the field of concurrency. His main centers
of interest in that field were process equivalences, true concurrency, fairness
and computability. He left CNRS for INRIA 1991, and oriented his research at
IRISA on the topic of Petri net synthesis, with some recent concern for
applications to DES supervision. Philippe Darondeau was program committee member
for Amast, Caap, Concur, Express, Fossacs, Icacsd, Icatpn, Procomet, and Stacs.
He is a member of IFIP WG 2.2. He wrote 17 papers appeared in journals,
contributed 11 invited papers or chapters of books, and presented other 24
conference papers. He was a participant to the project MASK of the EC-program
Science, and to the network EXPRESS of the EC-program HCM.
Paul Le Guernic
graduated from Institut National des Sciences Appliquées de Rennes in 1974.
He
performed his Thèse de troisième cycle in Computer Science in 1976. From 1978 to
1984 he had a research position at INRIA. He is Directeur de Recherche in this
institute since 1984. He has been head of the "Programming Environment for Real
Time Applications" group, which has defined and developed the
Signal language. His main current
research interests include the development of theories, tools, and methods, for
the design of real-time embedded heterogeneous systems and SoCs. He is currently
member of the Executive Board of the French national funding programme for
Software Technologies (Réseau National des Technologies Logiciel), where he is
in charge of Embedded Systems.
University of
California Berkeley (UCB)
The
University of California at Berkeley
has a major research program in hybrid systems. The general objective of the
Berkeley research program is to investigate hybrid systems from numerical,
computational complexity and language semantics points of view. The specific
objective of Berkeley’s contribution to this proposal is participation in the
development of a common hybrid-model interchange format, which will enable
research groups across the Atlantic in transferring models and comparing
analysis methods using a common interchange language.
The overall coordination role for the Berkeley team will be
performed by
Shankar Sastry,
Professor of Electrical
Engineering and Computer Sciences
(EECS) and Bioengineering and currently Chairman of the
Department of EECS. He completed a term recently as Director of the Information
Technology Office at DARPA (1999-2001). He has numerous awards, honors and
co-authored/edited 8 books, but he is most proud of the leadership roles
occupied by his over 40 PhD students in academia, industry and government.
Professor
Sangiovanni-Vincentelli
(for
CV see the section of AQUI team)
who is participating to this research also as a member of the Aquila team played
an essential role in bridging the research activities between the two countries.
Vanderbilt
University (VU)
The
Institute
of Software Integrated Systems (ISIS) is a division of the School of Engineering. ISIS currently includes three
faculty members, nine research scientists, twelve staff engineers, twenty-three
graduate students and several visiting researchers. The primary focus of ISIS is
Model Integrated Computing and its applications in embedded information system
design. Current research projects include the following main topics: meta-modeling,
meta-model composition and validation; meta-programmable modelling tools
(Graphical Modeling Environment, GME); open tool integration frameworks,
automated design space exploration tools; formal modelling and synthesis of
model-based generators. Primary application domains are: development
environments for embedded software in automotive and avionics applications,
coordination middleware for networked embedded systems, integrated co-simulation
environments for power-aware computing, development environments for
structurally adaptive processing architectures.
Janos Sztipanovits is
currently E. Bronson Ingram Distinguished Professor of Engineering in the
Electrical Engineering and Computer Science Department of Vanderbilt University.
He is founding director of the Institute for Software Integrated Systems (ISIS).
Between 1999 and 2001, he worked as program manager and deputy director of DARPA
Information Technology Office. As program manager, he has developed and managed
three major national research programs, the Autonomous Negotiating Teams (ANTs),
Model-Based Integration of Embedded Software (MoBIES) and Networked Embedded
Software Technology (NEST) programs. He graduated from the Technical University
of Budapest in 1970. He received the degree of “Candidate of Technical Sciences”
from the Hungarian Academy of Sciences in 1980, and the distinguished doctor
degree (Golden Ring of the Republic) in 1982. His primary research interest is
software and systems design of embedded and distributed information systems, the
theory of structurally adaptive systems and model-integrated computing. He has
published over 130 papers and he is the co-author of two books. He is a Fellow
of the IEEE.
Gabor Karsai
is Associate Professor of Electrical and Computer Engineering at Vanderbilt
University and technical director of the Institute for Software-Integrated
Systems. He has over eighteen years of research and practical experience in
software engineering. His research interests include: design and implementation
of advanced software systems for control and instrumentation, programming tools
for building visual programming environments, and the theory and practice of
model-integrated computing. He received his BSc, MSc and Dr Techn from the
Technical University of Budapest, Hungary, in 1982, 1984, and 1988,
respectively, his and his PhD from Vanderbilt University in 1988, all in
electrical engineering. He has published over 80 papers, and he is the co-author
of four patents.
Akos Ledeczi is a Senior Research Scientist at the Institute for Software Integrated Systems
at Vanderbilt University. He got his M.Sc. degree in Electrical Engineering from
the Technical University of Budapest in 1989. He received his Ph.D. also in
Electrical Engineering from Vanderbilt University in 1995. His current research
interests are in model integrated computing and simulation and automatic
synthesis of embedded software. |
