ISR's Distinguished Lecturer Series
Spring 2008
Applications of Formal Methods in Model-Based Development of Embedded Control Systems
Reception
Thursday, May 1
4:30 p.m.
1115 Computer Science Instructional Center (CSIC)
Lecture | PDF flyer |
Thursday, May 1
5:00 p.m.
1115 Computer Science Instructional Center (CSIC)
Roundtable discussion
Friday, May 2
10:00 a.m.
1146 AV Williams Building
Bruce Krogh
Professor, Electrical and Computer Engineering
Carnegie Mellon University
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.
Previous Distinguished Lecturers
2008 Wednesday, April 16, 2008 2007 Tuesday, Dec. 4, 2007 Monday, Oct. 15, 2007 Monday, March 26, 2007 Tuesday, February 13 2006 Tuesday, November 7, 2006 Tuesday, September 19 Tuesday, May 2 Tuesday, March 7 |
2005 Tuesday, November 15 Tuesday, October 11 Tuesday, April 12 Wednesday, March 9 2004 Tuesday and Wednesday, November 16 and 17 Wednesday, October 13 Friday, April 16 Friday, Feb. 20 2003 Thursday, Dec. 18 Monday, Oct. 20 and Tuesday, Oct. 21 Friday, April 18 Friday, March 14 2002 December 6 October 25 |
