George Pappas on A Theory of Robustness for Cyber-Physical S

Get the latest Flash player

citrisuc
November 13, 2008

Nokia Distinguished Lecture: George Pappas on A Theory of Robustness for Cyber-Physical Systems George Pappas Department of Electrical and Systems Engineering University of Pennsylvania Abstract: ...

Nokia Distinguished Lecture: George Pappas on A Theory of Robustness for Cyber-Physical Systems
George Pappas
Department of Electrical and Systems Engineering
University of Pennsylvania
Abstract:
One of the great challenges in cyber-physical systems is to define appropriate measures of system robustness. How should we define the robust execution of digital programs by physical systems that will be subject to uncertainty and noise? By reversing roles, how robust is the digital implementation of physical controllers and sensors in distributed computing platforms? Can we define appropriate measures of robustness across the cyber and physical world, in a manner that leads to efficient algorithms for overall system verification and design?
In this talk, I will present an overview of our efforts towards addressing some of these challenges. Thinking of temporal logics as basic programming languages for physical systems, such as robots, we define robust, multi-valued semantics for temporal logic formulas, which capture not only the usual Boolean satisfiability, but also how robustly the physical system satisfies the digital specification. Based on this quantitative notion and using our recently developed notion of approximate bisimulation functions, we develop a simulation-based verification algorithm for determining the robustness of the overall system. The interesting and promising feature of our approach is that the more robust the system is with respect to the temporal logic specification, the less is the number of simulations that are required in order to verify the system. We then consider the problem of quantifying the performance gap between model-based controller design and platform-based implementation for modern embedded control systems. We first show that the performance gap between the model-level semantics of proportional-integral-derivative (PID) controllers and their implementation-level semantics can be rigorously quantified if the controller implementation is executed on a predictable time-triggered architecture. Explicitly computing the impact of the implementation on overall system performance allows us to compare and partiallyorder different implementations with various scheduling or timing characteristics.

Bio:
George J. Pappas is the Joseph Moore Professor in the Department of Electrical and Systems Engineering at the University of Pennsylvania. He also holds a secondary appointment in the Departments of Computer and Information Sciences, and Mechanical Engineering and Applied Mechanics, and is member and former director of the GRASP lab. He currently serves as the Deputy Dean in the School of Engineering and Applied Science. His research focuses on control theory and in particular, hybrid systems, embedded systems, hierarchical and distributed control systems, with applications to unmanned aerial vehicles, flight management systems, distributed robotics, and biomolecular networks. He has published numerous publications and has won various awards, including the National Science Foundation Presidential Early Career Award for Science and Engineering (PECASE).

Category: Science & Technology

Tags:

More From: citrisuc

Nokia Distinguished Lecture: Richard Murray on ...

1,155 views

Nokia Distinguished Lecture: Eric Feron on Cont...

1,907 views

Jerrold Marsden on Discrete Mechanics and Optim...

2,116 views

Development of Cellulosic Biofuels

8,926 views

Naomi Leonard on Collective Motion and Sensing ...

865 views

Remote Sensing

1,735 views

Business Case-Studies, Models and Design Princi...

15,051 views

Artificial Intelligence and the Future of Games...

9,264 views

The Networks of (Green) Innovation

546 views

Wireless Networks for Cars

2,449 views

CITRIS Headquarters Groundbreaking Dean Newton'...

4,210 views

Meeting Our Global Energy Challenge

342 views

Creating a Public Health Affinity Domain for th...

587 views

The Brain-like Vision

2,323 views

The Modern Research Lab

1,112 views

Energy Efficient, Reliable, Disk-Based Archival...

399 views

Nokia Distinguished Lecture: Bill Spencer on Sm...

818 views

Panelist: Numenta

1,289 views

Joint Nokia research project to capture traffic...

2,935 views

Solar Energy for Heat, Light and Power

3,708 views

See all 286 videos

Play All Stop Autoplaying | Play Next

QuickList(0)

Clear | Save

Would you like to comment?

Join YouTube for a free account, or sign in if you are already a member.

YouTube	Programs	Help	Policy	Discover
Contact Us	Advertising	Get Help	Privacy Policy	YouTube on Your Phone
YouTube Store	Developers	YouTube Handbook	Terms of Service	YouTube on Your Site
Press Room	Partnerships	Community Help Forums	Copyright Notices	YouTube on Your TV
Business Blog	Content Management	Safety Center	Community Guidelines	YouTube RSS Feeds
YouTube Blog		Creator's Corner		TestTube

Add YouTube to your Google homepage

Current Location: Australia Show locations

George Pappas on A Theory of Robustness for Cyber-Physical S

More From: citrisuc

QuickList(0)

Featured Videos

Statistics & Data

Video Responses (0)

Text Comments (2) Options

Would you like to comment?

George Pappas on A Theory of Robustness for Cyber-Physical S

More From: citrisuc

QuickList(0)

Related Videos

Featured Videos

Statistics & Data

Video Responses (0)

Text Comments (2) Options

Would you like to comment?