2012

Monday, Feb. 13, 2012
A Step Beyond The State Of The Art Robust Model Predictive Control Synthesis Methods
Sasa Rakovic
University of Maryland
| video | slides |

2011

Monday, Sept. 19, 2011
Logical Analysis of Hybrid Systems
André Platzer
Carnegie Mellon University
| video | slides |

Monday, Sept. 26, 2011
Modelica—A Cyber-Physical Modeling Language for Systems Engineering and the OpenModelica Environment
Peter Fritzson
Linköping University
| video | slides | movie in presentation |

Monday, Oct. 10, 2011
Model Integration Challenge in the Design of Cyber Physical Systems
Janos Sztipanovits
Vanderbilt University
| video | slides |

Monday, Oct. 31, 2011
Model-Based Systems Engineering with SysML: Problem Definition, Analysis and Optimization
Chris Paredis
Gtech
| video | slides |

Monday, Nov. 21, 2011
On the development of tools for system design
Allessandro Pinto
United Technologies Research Center
| video | slides |

Monday, Nov. 28, 2011
Logical Modeling for Engineering
Conrad Bock
National Institute of Standards and Technology
| video | slides |

Monday, Dec. 5, 2011
On A Framework for Data and Specification-Driven Inverse Mulitscale Design of Materials
John G. Michopoulos
Naval Research Laboratory
| video | slides |