|
Henk Blom
is Principal Scientist at National Aerospace Laboratory NLR in Amsterdam, The
Netherlands. He received his BSc and MSc degree from Twente University
in 1975 and 1978 respectively. Subsequently he performed research in forward
looking infra-red picture processing at TNO Physics Laboratory, The Hague. In 1980 he
joined NLR to work on research in Air Traffic Management. In 1988 he was
visiting scholar at the University
of Connecticut, Storrs, USA.
In 1990 he received PhD from Delft University of Technology on the thesis
”Bayesian estimation for decision directed stochastic control”. Dr. Blom has
over twenty five years experience in the theory of stochastic modeling and
analysis and its application to signal processing, data fusion and safety
risk analysis. Since joining NLR, his leading research motivation has been to
develop stochastic hybrid systems theory that applies towards Air Traffic
Management. He is the scientific leader of innovative developments such as
the IMM (Interacting Multiple Model) filter algorithm, Eurocontrol’s Bayesian
multi-sensor multi-target tracking system ARTAS (ATM Radar Tracking And
Server) and NLR’s safety risk analysis methodology TOPAZ (Traffic
Organization and Perturbation AnalyZer) and supporting tool sets.
Manuela Bujorianu is research fellow with the recently created
Centre for Interdisciplinary Computational and Dynamical Analysis
(CICADA), at University of
Manchester, United
Kingdom. She is a
member of the IFAC Technical Committee, TC 1.3 - Discrete Event
and Hybrid Systems. Manuela’s main lines of research lie at the
boundaries between mathematics, computer science and control engineering. Dr.
Bujorianu has recently organized a series of successful events with
interdisciplinary themes at the CPS-WEEK 2010, ETAPS 2010, SEFM 2010,
FM-WEEK 2009, QEST 2007.
Emilio
Frazzoli is an Associate Professor of Aeronautics and
Astronautics with the Laboratory for Information and Decision Systems at the
Massachusetts Institute of Technology. He received a Laurea degree in
Aerospace Engineering from the University of Rome, ”Sapienza” , Italy, in
1994, and a PhD degree in Navigation and Control Systems from the Department
of Aeronautics and Astronautics of the Massachusetts Institute of Technology,
in 2001. Between 1994 and 1997 he worked as an officer in the Italian Navy,
and as a spacecraft dynamics specialist for the European Space Agency
Operations Centre (ESOC) in Darmstadt, Germany, and Telespazio, in Rome, Italy.
From 2001 to 2004 he was an Assistant Professor of Aerospace Engineering at
the University
of Illinois at
Urbana-Champaign. From 2004 to 2006 he was an Assistant Professor of
Mechanical and Aerospace Engineering at the University
of California, Los Angeles. He was the recipient of a NSF
CAREER award in 2002. He is an Associate Fellow of the American Institute of
Aeronautics and Astronautics and a Senior Member of the Institute for
Electrical and Electronics Engineers. He is currently serving as an Associate
Editor for the AIAA Journal of Guidance, Control, and Dynamics. Dr.
Frazzoli’s main research interests lie in the general area of planning and
control for mobile cyber-physical systems, with a particular emphasis on autonomous
vehicles, mobile robotics, and transportation networks.
Jianghai
Hu is
Associate Professor of Electrical and Computer
Engineering at Purdue
University. He
completed his PhD at University of California
at Berkeley
in 2003. His research interest is in hybrid systems; air traffic management;
control theory, including multi-agent coordinated control, nonlinear and
geometric control, control of systems under uncertainty; applied math and
probability theory.
Joost-Pieter
Katoen is a
full professor at the Acchen University of Technology (RWTH Aachen) and is
part-time associated with the University
of Twente. His research
interests include concurrency theory, model checking, timed, stochastic and
hybrid systems, and semantics. He coauthored more than 140 journal and
conference papers, and co-authored the comprehensive book Principles of Model
Checking. He is a member of the IFIP WG 1.8, IEEE Computer Society and senior
member of the ACM.
John Lygeros has been a
Professor of Computation and Control at the Swiss Federal Institute of
Technology (ETH) Zurich, Switzerland, since January 2010
and the Head of the Automatic Control
Laboratory since January 2009. He completed a B.Eng. degree in
electrical engineering in 1990 and an M.Sc. degree in Systems Control in
1991, both at Imperial College of Science Technology and Medicine, London, UK.
In 1996 he obtained a Ph.D. degree from the Electrical Engineering and
Computer Sciences Department, University
of California, Berkeley. During the period 1996-2000 he
held a series of research appointments at the National Automated Highway
Systems Consortium, at M.I.T., and at U.C. Berkeley. In parallel, he also
worked as a part-time research engineer at SRI International, Menlo Park, California,
and as a Visiting Professor at the Department Mathematics of the Universite
de Bretagne Occidentale, Brest,
France.
Between July 2000 and March 2003 he was a University Lecturer at the
Department of Engineering, University
of Cambridge, UK,
and a Fellow of Churchill College. Between March 2003 and July 2006 he was an
Assistant Professor at the Department of Electrical and Computer Engineering,
University of Patras, Greece. In July 2006 he joined
the Automatic Control Laboratory at ETH Zurich
as an Associate Professor. His research interests include modeling, analysis,
and control of hierarchical, hybrid, and stochastic systems, with
applications to biochemical networks, automated highway systems, air traffic
management, power grids and camera networks. John Lygeros is a senior member
of the IEEE, and a member of the IET and the Technical Chamber of Greece.
Sayan Mitra is an
assistant professor in Electrical and Computer Engineering at University of Illinois at Urbana Champaign. He has completed his PhD
in computer science in September 2007 with a thesis on ``A
verification framework for ordinary and probabilistic hybrid systems”. His research interest is in timed, hybrid, probabilistic models,
distributed-real-time-embedded systems (cyber-physical systems), formal
methods, automated theorem proving, multi-agent systems and mobile robot
coordination.
Alessandro Pinto
is a researcher in the Embedded Systems and Networks group at the United
Technologies Research Center (UTRC), Inc., Berkeley, California.
His research interests are in the field of networked embedded systems
with particular emphasis on design methodologies and tools. He received
a Ph.D. degree in Electrical Engineering and Computer Sciences from the University of California
at Berkeley
in 2008, and a M.S. degree in Electrical Engineering in 2003 from the
same university. He holds a Laurea degree from the University of Rome``La
Sapienza”. In 1999, he spent one year as a consultant at Ericsson Lab Italy in Rome,
Italy,
working on the design of system-on-chips. He consulted for the same
company from 2000 to 2001, developing system-level design flows for
wireless access networks. He serves on the technical program committees
of the Design Automation Conference, the IEEE Symposium on Industrial
Embedded Systems and the International Conference on Embedded Software.
He is co-author of 1 book, 2 book chapters, 5 journal papers and 21
conference papers, and a member of the IEEE.
Maria
Prandini obtained the Laurea degree in
Electrical Engineering (Politecnico di Milano 1994), and the Ph.D. degree in
Information Technology (Universit`a degli Studi di Brescia 1998) with a
dissertation on adaptive control of stochastic systems. After receiving her
Ph.D., she was a visiting postdoctoral researcher at the Department of
Electrical Engineering and Computer Sciences, University
of California at Berkeley, from 1998 to 2000. She also held
visiting positions at Delft University of Technology (1998), Cambridge University
(2000), UC Berkeley (2005), and ETH Zurich
(2006). Since December
2002 she is Assistant Professor at the Dipartimento di Elettronica e
Informazione of the Politecnico di Milano. In
the period 2002-2005, she was work-package leader in the EC-funded FP5
project HYBRIDGE, and starting from May 2007, she is principal investigator
in the ECfunded FP6 project iFly. She is currently associate editor of IEEE
Transactions on Automatic Control and IEEE Transactions on Control Systems
Technology; discussion editor of European Journal of Control; member of the IFAC
Technical Committee on Discrete Event and Hybrid Systems; and member of the
IEEE Control Systems Society Conference Editorial Board.
Antonios
Tsourdos is Head of the Autonomous Systems
Group. He has obtained a PhD on Nonlinear Robust Missile Autopilot Design and
Analysis from Cranfield
University in 1999. He
was appointed Head of the Autonomous Systems Group in 2007. Professor
Tsourdos was member of the Team Stellar, the winning team for the UK MoD
Grand Challenge (2008) and the IET Innovation Award (Category team, 2009). He
is also co-author of the article Unmanned aerial vehicle navigation and
mapping, published in Vol. 222, issue G4 and won the 2008 PE Publishing Best
Paper Award. Professor Tsourdos is an editorial board member of the
Proceedings of the IMechE Part G Journal of Aerospace Engineering, the
International Journal of Systems Science, the IEEE Transactions of
Instrumentation and Measurement, the International Journal On Advances in
Intelligent Systems and the International Journal Mathematics in Engineering,
Science and Aerospace (MESA). Professor Tsourdos is member of the Expert
Advisory Group on Precision, Navigation and Networking for the Complex
Weapons Centre of Defence Technology. He is also member of the ADS Autonomous
Systems Strategy Group and the A&D KTN National Technical Committee on
Autonomous Systems. Professor Tsourdos is member of the management committee
of the MBDA Innovation Gateway for Complex Defence Systems (IGCDS).
|
