ISR Distinguished Lecturer: Bruce Krogh, Carnegie Mellon University

Thursday, May 1, 2008
5:00 p.m.
1115 Computer Science Instructional Center
Regina King
301 405 6615
rking12@umd.edu

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

Host
Eyad Abed

Abstract
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.

Biography
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.

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

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

Audience: Public  Clark School  All Students  Graduate  Undergraduate  Faculty  Staff  Post-Docs  Alumni  Corporate 

remind we with google calendar

 

October 2024

SU MO TU WE TH FR SA
29 30 1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 31 1 2
Submit an Event