Clark School Home UMD

ISR Events Calendar

Event Information

ISR Distinguished Lecturer: Bruce Krogh, Carnegie Mellon University
Thursday, May 1, 2008
5:00 p.m.
1115 Computer Science Instructional Center
For More Information:
Regina King
301 405 6615

ISR Distinguished Lecturer Series
Applications of Formal Methods in Model-Based Development of Embedded Control Systems

Bruce H. Krogh
Department of Electrical and Computer Engineering
Carnegie Mellon University

Eyad Abed

In many applications, testing accounts for a significant portion of the time and cost to develop and deploy control systems, and projections indicate that the cost of testing will be prohibitive for future systems using current methods for verification and certification. To reduce testing, new methods are needed for guaranteeing the correctness of control system implementations at design time, and these methods need to become an integral part of the system certification process. This talk will review possible ways that formal methods can be used in model-based development to help reduce testing and some recent developments in verification methods for hybrid systems will be presented. The talk will conclude with some observations concerning the use of formal methods for design.

Bruce H. Krogh is professor of electrical and computer engineering at Carnegie Mellon University. He is a past Associate Editor of the IEEE Transactions on Automatic Control and Discrete Event Dynamic Systems: Theory and Applications, and founding Editor-in-Chief of the IEEE Transactions on Control Systems Technology. Dr. Krogh is a Distinguished Member of the IEEE Control Systems Society and a Fellow of the IEEE. His current research interests include design and verification of embedded control systems, discrete event and hybrid dynamic systems, and information processing in wireless sensor networks.

In addition to the lecture there will be a reception and a roundtable discussion.

May 1, 4:30 p.m.
Outside 1115 Computer Science Instructional Center

May 2, 10:00 a.m.
1146 A.V. Williams Building

This Event is For: Public • Clark School • All Students • Graduate • Undergraduate • Faculty • Staff • Post-Docs • Alumni • Corporate

Browse Events By Calendar

Calendar Home

« Previous Month    Next Month »

September 2017
1 2 w
3 4 5 6 7 8 9 w
10 11 12 13 14 15 16 w
17 18 19 20 21 22 23 w
24 25 26 27 28 29 30 w

Search Events

ISR lecture and seminar series

Distinguished Lecturer Series
Intelligent Automation Inc. Colloquia Series
Microsystems Seminar Series
Lockheed Martin Robotics Seminar Series
Advanced Networks Colloquia Series
Model-Based Systems Engineering Colloquia Series

Submit an event to the ISR calendar Click here

News links

Current news
Search news
News archives