Title: Cooperative cyber-physical systems with human in the loop
We will address the modeling, perception and control of cooperative cyber-physical systems with human in the loop and demonstrate the common and different open problems as they show up in three different applications: healthcare, transportation and human robot cooperation carrying out a manipulator task. The commonality in these applications is that they all are amenable to the use of hybrid system models with natural switching variables. Therefore, we can use the wealth of results from the hybrid control community, including reachable sets, stability and observability. In addition all these systems depend on the identification of human intent during the cooperative activity. The differences are that while in the vehicle transportation problem the human/driver and car interaction is constrained, the complexity of the road is high and dynamically changing. On the other hand, in human robot cooperative interaction the robotic system is complex while the environment can be controlled. In the healthcare application the problem is reduced to assessment of human performance (locally or remotely) and the intervention is typically performed by another human.
Dr. Ruzena Bajcsy is a Professor of Electrical Engineering and Computer Sciences at the University of California, Berkeley, and Director Emeritus of the Center for Information Technology Research in the Interest of Science (CITRIS). Her current research areas include artificial intelligence; biosystems and computational biology; control, intelligent systems, and robotics; graphics and human-computer interaction, computer vision; and security. From November 2001 to 2004, she served as director of CITRIS, an initiative bringing together the University of California campuses at Berkeley, Davis, Merced and Santa Cruz with private industry to develop ways to use information technology to affect people’s daily lives. Prior to joining Berkeley, Dr. Bajcsy headed the Computer and Information Science and Engineering Directorate at the National Science Foundation where she managed a $500 million annual budget. As a former faculty member of the University of Pennsylvania, she also served as the Director of the University’s General Robotics and Active Sensory Perception Laboratory, which she founded in 1978, and chaired the Computer and Information Science department from 1985 to 1990.
Dr. Bajcsy is a member of the National Academy of Engineering and the National Academy of Science Institute of Medicine as well as a Fellow of the Association for Computing Machinery (ACM), the Institute of Electronic and Electrical Engineers, and the American Association for Artificial Intelligence. In 2001, she received the ACM/Association for the Advancement of Artificial Intelligence Allen Newell Award, and was named as one of the 50 most important women in science in the November 2002 issue of Discover Magazine. She also received the Computing Research Associates Distinguished Service Award in April of 2003 and the ACM Distinguished Service Award in February 2004. Dr. Bajcsy has served on numerous advisory boards and committees, including the President’s Information Technology Advisory Committee (PITAC) from 2003-2005 and the Review Panel Chair for the Carnegie Mellon University Robotics Institute in 2005. In 2008 she was the recipient Benjamin Franklin Medal for Computer and Cognitive Sciences. In 2009 she has won the 2009 Anita Borg Technical Leadership Award.
Dr. Bajcsy has authored over 225 articles in journals and conference proceedings, 25 book chapters, and 66 technical reports and has served on many editorial boards. She received her Master’s and Ph. D. degrees in electrical engineering from Slovak Technical University in 1957 and 1967, respectively, and a Ph. D. in computer science from Stanford University in 1972.
Title: Let’s Get Physical: Adding Physical Dimensions to Cyber Systems
In cyber-physical systems (CPS) computing, networking and control (typically regarded as the “cyber" part of the system) are tightly intertwined with mechanical, electrical, thermal, chemical or biological processes (the “physical" part). The increasing sophistication and heterogeneity of these systems requires radical changes in the way sense-and-control platforms are designed to regulate them. In this presentation, I highlight some of the design challenges due to the complexity and heterogeneity of CPS. I argue that such challenges can be addressed by leveraging concepts that have been instrumental in fostering electronic design automation while dealing with complexity in VLSI system design. Based on these concepts, I introduce a design methodology whereby platform-based design is combined with assume-guarantee contracts to formalize the design process and enable realization of CPS architectures and control software in a hierarchical and compositional manner. I conclude my presentation with a view of where CPS are headed: bio-cyberphysical systems and swarm systems.
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. He holds the Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences at the University of California at Berkeley. He has been on the Faculty since 1976. He obtained an electrical engineering and computer science degree ("Dottore in Ingegneria") summa cum laude from the Politecnico di Milano, Milano, Italy in 1971. In 1980-1981, he spent a year as a Visiting Scientist at the Mathematical Sciences Department of the IBM T.J. Watson Research Center. In 1987, he was Visiting Professor at MIT. He has held a number of visiting professor positions at Italian Universities, including Politecnico di Torino, Universita’ di Roma, La Sapienza, Universita’ di Roma, Tor Vergata, Universita’ di Pavia, Universita’ di Pisa, Scuola di Sant’Anna.
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 Adviser of Cadence. He is a member of the Board of Directors of Cadence and the Chair of its Technology Committee, Sonics, Expert Systems, Accent, a former ST Microelectronics-Cadence joint venture he helped founding, and of KPIT Cummins. He was a member of the HP Strategic Technology Advisory Board, is a member of the Science and Technology Advisory Board of General Motors of the Technology Advisory Council of United Technologies Corporation, of the Scientific Council of the Tronchetti Provera foundation and of the Snaidero Foundation. He consulted for many companies including Bell Labs, IBM, Intel, United Technologies Corporation, COMAU, Magneti Marelli, Pirelli, BMW, Daimler-Chrysler, Fujitsu, Kawasaki Steel, Sony, ST, United Technologies Corporation and Hitachi. He was an advisor to the Singapore Government for microelectronics and new ventures. He consulted for Greylock Ventures and for Vertex Investment Venture Capital funds. He is a member of the Advisory Board of Walden International, Sofinnova and Innogest Venture Capital funds and a member of the Investment Committee of the VC fund, Atlante Ventures, by Banca Intesa/San Paolo. He was 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. Since 2010, he has been the Senior Advisor to the President and CEO of L’Elettronica. He is a member of the Advisory Board of the Lester Center for Innovation of the Haas School of Business and of the Center for Western European Studies and is a member of the Berkeley Roundtable of the International Economy (BRIE). He is a member of the High-Level Group, of the Steering Committee, of the Governing Board and of the Public Authorities Board of the EU Artemis Joint Technology Initiative. He is member of the Scientific Council of the Italian National Science Foundation (CNR). Since February 2010, he has been a member of the Executive Committee of the Italian Institute of Technology. Since January 2012, he has been a member of the Senior Strategy Panel (SSP) of DARPA’s META program. Since July 2012, he has been named Chairperson of the Comitato Nazionale Garanti per la Ricerca, a seven person committee established by the Ministry of Education, Scientific Research and University of the Italian Government to oversee the evaluation processes for research in Italy.
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”). In 2002, he was the recipient of the Aristotle Award of the Semiconductor Research Corporation. He received numerous research awards including the Guillemin-Cauer Award (1982-1983), the Darlington Award (1987-1988) of the IEEE for the best paper bridging theory and applications, and two awards for the best paper published in the IEEE Transactions on CAS and CAD, five best paper awards and one best presentation awards at the Design Automation Conference, other best paper awards at the Real-Time Systems Symposium and the VLSI Conference.
In 2001, he was given the Kaufman Award of the Electronic Design Automation Council for “pioneering contributions to EDA”. In 2008, he was awarded the IEEE/RSE Wolfson James Clerk Maxwell Medal “for groundbreaking contributions that have had an exceptional impact on the development of electronics and electrical engineering or related fields” with the following citation: “For pioneering innovation and leadership in electronic design automation that have enabled the design of modern electronics systems and their industrial implementation” In 2009, he received the first ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation to honor persons for an outstanding technical contribution within the scope of electronic design automation. In 2009, he was awarded an honorary Doctorate by the University of Aalborg in Denmark. In 2011, he was given the EDAA Lifetime Achievement Award. In 2012, he was given an Honorary Doctorate from KTH in Sweden.
He is an author of over 780 papers, 17 books and 2 patents (see attached list) in the area of design tools and methodologies, large-scale systems, embedded systems, hybrid systems and innovation.
Dr. Sangiovanni-Vincentelli has been a Fellow of the IEEE since 1982 and a Member of the National Academy of Engineering, the highest honor bestowed upon a US engineer, since 1998.
John A. Stankovic
Title: Technical Solutions Underlying Wireless Health Systems
Various types of wireless health systems have been deployed in 1000s of homes. Thousands of wellness apps are available for smartphones. However, the purpose, value, and capabilities of these systems span a very broad spectrum from the very general to the very specific. While the ultimate goal is good health, there are many underlying CPS technical issues that must be solved. In this talk I present a collection of technical problems and solutions primarily for in-home health care and wellness. The technical topics include: a flexible in-home architecture called Empath and its use with real patients, a multi-level semantic-based classification and anomaly detection subsystem, controlling heart rate with music, and physical aggression detection of dementia patients with Kinect. Open research questions will be mentioned throughout the talk.Various types of wireless health systems have been deployed in 1000s of homes. Thousands of wellness apps are available for smartphones. However, the purpose, value, and capabilities of these systems span a very broad spectrum from the very general to the very specific. While the ultimate goal is good health, there are many underlying CPS technical issues that must be solved. In this talk I present a collection of technical problems and solutions primarily for in-home health care and wellness. The technical topics include: a flexible in-home architecture called Empath and its use with real patients, a multi-level semantic-based classification and anomaly detection subsystem, controlling heart rate with music, and physical aggression detection of dementia patients with Kinect. Open research questions will be mentioned throughout the talk.
Professor John A. Stankovic is the BP America Professor in the Computer Science Department at the University of Virginia. He served as Chair of the department, completing two terms (8 years). He is a Fellow of both the IEEE and the ACM. He won the IEEE Real-Time Systems Technical Committee's Award for Outstanding Technical Contributions and Leadership. He also won the IEEE Distributed Processing Technical Committee’s Award for Distinguished Achievement (inaugural winner). He has won six best paper awards and one best paper runner-up award in wireless sensor networks research. He is highly cited (h-index is 99) and presented many Invited Keynotes and Distinguished Lectures. Professor Stankovic also served on the Board of Directors of the Computer Research Association for 9 years. Currently, he serves on the National Academy’s Computer Science and Telecommunications Board. He won the University of Virginia, School of Engineering Distinguished Faculty Award. Before joining the University of Virginia, Professor Stankovic taught at the University of Massachusetts where he won an outstanding scholar award. He was the Editor-in-Chief for the IEEE Transactions on Distributed and Parallel Systems and was a founder and co-editor-in-chief for the Real-Time Systems Journal. His research interests are in wireless health, wireless sensor networks, cyber physical systems, distributed computing, and real-time systems. Prof. Stankovic received his PhD from Brown University.