NSF PROJECT CCR-0311084
INFINITE DIMENSIONAL STOCHASTIC HYBRID SYSTEMS:
A Unified Framework for Distributed Control with Limited and Disrupted Communication
PI: João P. Hespanha
coPI: Andrew R. Teel
This project pursues a four-year research and education plan to develop a unified framework for distributed control with limited and potentially disrupted communication. This framework utilizes hybrid systems as the modeling tool of choice to combine physical continuous systems, event-based protocols, and real-time software. The project is focused on the specific needs of distributed control over communication networks. The algorithms developed are tested on two testbeds available at the University of California, Santa Barbara (UCSB): the ZEUS© Surgical Robotic System and a wireless mobile robotic system.
The research pursues significant extensions of hybrid systems theory to address issues specific to distributed control and communication. In particular, the following fundamental issues are investigated:
Broader impacts resulting from this project
This project aims at producing rigorous tools to analyze and design distributed control systems that are fully integrated with the communication networks that support them. The emphasis is in the design of systems that are provably correct by construction, minimizing the need for brute force a posteriori validation. The ultimate goal of this research is the design of control systems that are reliable in a realistic (thus not perfect) networked world.
The tools and technologies developed are applied to two testbeds: the ZEUS© Surgical Robotic System and a wireless mobile robotic system based on ActivMedia's PIONEER-2 wheeled robot. These testbeds provide the practical validation of the fundamental research as well as demonstrate the role of hybrid systems as an enabling technology to areas such as medicine and biology; scientific and industrial sensing and control; and the support of experimental apparatus for science.
This project has a strong educational component. Aside from providing funding for students pursuing PhD programs, new courses are added to UCSB's curriculum in the area of hybrid control systems. These courses are interdisciplinary, aimed at students in the areas of control, communications, signal processing, mechanical, and chemical engineering. The intended audience consists of graduate students early in their MS and PhD programs or senior undergraduate students. To this effect (and to facilitate the enrollment of students in different departments) the courses are mostly self-contained with minimal prerequisites. Undergraduate education is specifically addressed through curricular changes to increase awareness towards hybrid dynamics. By exposing the students to research, it is expected to enhance the transition to industry of the technologies developed and encourage students to develop the rigorous and analytical thinking required for success in scientific research and also in a professional career in electrical engineering.
All the results, including papers, reports, and software are available freely to the research community through the world-wide-web. The course materials (including lecture notes, homeworks, laboratory materials, etc.) are also freely available to the academic community.
The publications based upon research funded by this project can be found at the following URL:
|Relevant Research Topics|
As computers, digital networks, and embedded systems become ubiquitous and increasingly complex, one needs to understand the coupling between logic-based components and continuous physical systems. This prompted a shift in the standard control paradigm — in which dynamical systems were typically described by differential or difference equations — to allow the modeling, analysis, and design of systems that combine continuous dynamics with discrete logic. This new paradigm is often called hybrid, impulsive, or switched control.
Good starting points to learn about hybrid control systems include
Our research covers several aspects of hybrid/switched systems:
Publications on this work can be found at the following
While some of our work on hybrid systems is of a theoretical nature, it is motivated by several high-impact application areas, including networked control systems, cooperative control of autonomous systems, communication networks, and systems biology. Details on some of these application areas are included below.
NETWORKED CONTROL SYSTEMS (NCSs)
Network Control Systems (NCSs) are spatially distributed systems in which the communication between sensors, actuators and controllers occurs through a shared band-limited digital communication network. The use of a multi-purpose shared network to connect spatially distributed elements results in flexible architectures and generally reduces installation and maintenance costs. Consequently, NCSs have been finding application in a broad range of areas such as the automotive and aerospace industries, mobile sensor networks, remote surgery, automated highway systems, and unmanned aerial vehicles.
The interest in NCSs has been steadily rising due to several factors:
Inexpensive computation and ubiquitous embedded sensing, actuation, and communication provide tremendous opportunities for societal impact, but also great challenges in the design of networked control systems, because the traditional unity feedback loop that operates in continuous time or at a fixed sampling rate is not adequate when sensor data arrives from multiple sources, asynchronously, delayed, and possibly corrupted. Moreover, the design of NCSs poses novel questions that lie at the intersection of control, communication, and signal processing:
Our research on NCSs is motivated by the following observations:
A good starting point to learn about the design of controllers for NCSs is the following survey:
J. Hespanha, P. Naghshtabrizi, Y. Xu. A Survey of Recent Results in Networked Control Systems. Proc. of IEEE Special Issue on Technology of Networked Control Systems, 95(1):138—162, Jan. 2007. [bibtex] [pdf]
Publications on this work can be found at the following URL:
COOPERATIVE CONTROL OF AUTONOMOUS AGENTS
Robotic agents have the potential to free humans from unpleasant, dangerous, and/or repetitive tasks in which human performance would degrade over time due to fatigue. Currently, assembly lines for the automotive industry are highly automated using robots for welding, painting, machine loading, parts transfer and assembly, etc. However, these robotic systems have little autonomy and essentially continuously execute preprogrammed motions with little cognition of their surroundings.
The expression autonomous agents refers to the control of ground, aerial or aquatic robots so as to perform tasks that require a significant amount of information gathering, data processing, and decision making, without explicit human control. Especially promising (and challenging) is the use of groups of robots to perform complex tasks in a cooperative fashion. These tasks include:
The interest in this area sparked in the last few years because of two main factors:
Two key technical challenges in this area have driven our research:
Publications on this work can be found at the following URLs:
Systems biology seeks to understand living organisms by modeling and analyzing the complex interactions of genes, proteins, and other cell elements. These interactions occur through biochemical reactions that take place inside the cell or close to the cell membrane. Particularly crucial are the chemical reactions that participate in the complex regulatory mechanism that control cell functions such as the heat shock response, which protects a cell against environmental stresses (heat, cold, oxygen deprivation, etc.); apoptosis, which leads to a programmed cell death with minimal harm to nearby cells; chemotaxis, which permits a cell to move in search of food or to flee from poisons; or cell division, which results in two daughter cells from a single parent cell.
Ultimately, the goal of systems biology is to transform the methodology used for drug discovery, which is currently dominated by mass experimentation. By enlarge, when faced with a new disease or condition, drug developers expose compromised cell cultures to a large number of chemical compounds in the hope of finding a substance that "treats" the disease. Finding such a substance, triggers a second phase of experiments aimed at making sure that this substance does not harm individual cells or organs. In addition, a mechanism must be found to deliver the treatment to the right cells. The goal of systems biology is to guide this effort so that most effort is spent searching among the most promising types of substances and making sure that all cell functions that could be affected by the potential treatment are not negatively affected.
What makes finding cures for diseases especially challenging is the fact that cells are exquisitely regulated mechanisms with multiple feedback loops. Suppose for example that it is discovered that a particular disease develops because a set of cells is lacking protein X. A naive cure would be to inject X into the blood stream in an attempt to increase its concentration. However, this can actually have a completely opposite effect if the body interprets the high concentration of X in the blood as a signal that this protein is being overproduced and shuts down the natural production of X. This is not unlike the apparent paradox that results from placing a heater next to the temperature feedback sensor of a central heating systems and suddenly realizing that the whole building got much colder.
The goal of our research has been to develop tools to analyze complex networks of biochemical reactions. Motivated by the above observations, we are especially interested in constructing dynamical models that highlight the feedback mechanisms in cell regulation and that provide a qualitative and quantitative understanding of how the different genes, proteins, and other cell elements contribute to the observed behavior (phenotype).
Gene regulatory mechanisms typically involve a large number of distinct chemical species, but it is common for some of these species to be represented by just a few molecules, which can invalidate models based on the deterministic chemical rate equation. Our work has been using tools developed for Stochastic Hybrid Systems to construct differential equations that accurately model the stochastic effects present in biochemical networks.
Publications on this work can be found at the following
Software to compute moment dynamics can be found at the
|Recent talks & events|
“Stochastic Hybrid Systems: Modeling, analysis, and applications to networks and biology” Electrical Engineering and Computer Science Seminar, UC Berkeley, May 1, 2006. [slides]
“Internet Routing Games” Invited talk at the Workshop on Learning and Information in Games and Control, California Institute of Technology, Mar. 22, 2006. [slides]
“Stochastic Modeling of Chemical Reactions (and more…),” UC Santa Barbara Theoretical Ecology Seminar, Mar. 17, 2006. [slides]
“Game theoretical approaches to secure and robust routing,” UC Berkeley Seminar, Apr. 22, 2005. [slides]
“Stochastic hybrid systems: Applications to communications networks,” 43th CDC Workshop, Paradise Island, Bahamas, Dec. 13, 2004. [slides]
“Communication constraints and latency in Networked Control Systems”, UC Riverside Seminar, Nov. 15, 2004. [slides]
CONFERENCES AND WORKSHOPS
Course on Modeling Analysis and Design of Hybrid Control Systems at the HYCON Graduate School on Control from the European Embedded Control Institute, February 12-16, 2007.
Hybrid Systems Biology. Workshop for the 45th IEEE Conference on Decision and Control, San Diego, CA, December 12, 2006.
12th Southern California Non-linear Control Workshop. Santa Barbara, California, June 2, 2006.
9th International Workshop on Hybrid Systems: Computation and Control (HSCC 2006), Santa Barbara, California, from March 29--31, 2006.
Summer Study in Brazil: US undergraduate and graduate students at UCSB may apply for summer study in Brazil. The program consists of 6 weeks of study in language and applied mathematics in Rio de Janeiro, followed by a 8-10 week project in Campinas (near Sao Paolo). Funding for travel and local expenses is provided through the FIPSE program. More details at http://www.cds.caltech.edu/~murray/cdsa/.
Stochastic Hybrid Systems: Theory and Applications. Workshop for the 43rd IEEE Conference on Decision and Control, December 13, 2004.
SensorNets@UCSB Spring’04 Mini-Symposium, Bldg 406 conference room, 9-12:30noon, May 17, 2004.
8th Southern California Non-linear Control Workshop. Santa Barbara, California, May 7-8, 2004.
|Students, Postdocs, and Visitors|
Shaunak Bopardikar, BT/MT in Mechanical Engineering 2004 (Indian Institute of Technology, Bombay), started PhD in Fall 2005 (co-advised with Prof. Francesco Bullo).
Alexandre Mesquita, Undergraduate Degree in Electrical Engineering 2006 (Divisão de Engenharia Eletrônica, Instituto Tecnológico de Aeronáutica - ITA), started PhD in Fall 2006.
Abhyudai Singh, PhD 2008, BT in Mechanical Engineering (Indian Institute of Technology, Kaput), currently Postdoctoral Scholar, University of California, San Diego (as of Oct. 2008).
James Riehl, PhD 2007, BS in Engineering 2002 (Harvey Mudd College), currently Systems Design Engineer Specialist, AT&T Government Solutions, Inc. (as of Oct. 2007).
Payam Naghshtabrizi, PhD 2007, BS in Electrical Engineering 1997 (Sharif University of Technology, Tehran, Iran), currently at Ford Motor Company (as of Oct.~2007).
Prabir Barooah, PhD 2007, BT 1996 (Indian Institute of Technology, Kanpur), currently Assistant Professor at the Department of Mechanical Engineering, University of Florida, Gainsville (as of Sep 2007).
Yonggang Xu, PhD 2006, BS 1998 (Tsinghua University, Beijing, China), currently Senior Control Engineer at Advertising.com, Mountain View, CA, USA (as of Apr. 2006)
Junsoo Lee, PhD 2004, BS 1990 (Seoul National University, Korea), currently Assistant Professor at the Department of Computer Science Sookmyung Women's University, Korea (as of Apr. 2006)
Pedro Aguiar, 2002—2005 (Adjunct Professor at the Instituto Superior Técnico, Portugal, as of July 2007).
This list only contains visitors that stayed at UCSB for 2 weeks or longer (list sorted by date of last departure)
Duarte Antunes, PhD student, Inst. Superior Técnico, Lisbon, Portugal, 8/20/07-12/20/07, 4/4/08-6/28/08, 10/1/08-12/12/08.
Prof. Ti-Chung Lee, EE dept., Minghsin Univ. of Science & Tech, Taiwan, 8/3/06-8/24/06 and 7/13/07-8/3/07
Hege Sande, PhD student, Norwegian University of Science and Technology, 1/1/07-6/1/07
Paolo Santesso, PhD student, Padova Univ., Italy, 9/1/06-5/31/07
Prof. Nathan Van de Wouw, Eindhoven Univ. of Technology, Netherlands, 10/01/06-2/1/07
Prof. David Angeli, University of Firenze, Italy, 11/18/06-12/3/06
Aksel Andreas Transeth, PhD student, NTNU in Trondheim, Norway, 10/1/06-12/1/06
José Pedro Gaivão, PhD student, Porto Univ., Portugal, 8/4/06-11/1/06