Fall 2023

Dec. 5
Demystifying and Mitigating Unfairness for Machine Learning over Graphics
Yanning Shen
University of California, Irvine
 

Note: All colloquia from 2011 to 2019 were listed as "Model-Based Systems Engineering Colloquia."

Fall 2019

Sept. 26
Wolfram Technology in Education and Research
Andy Dorsett
Wolfram Research
| video |

Fall 2018

Sept. 28
Photon Pulse-Shape Engineering
Matthew James
Australian National University
| video | slides |

Fall 2017

Nov. 17
Model Reduction for Hysteresis Operators
Xiaobo Tan
Michigan State University
This is also a UTRC Control and Dynamical Systems Invited Lecture

Spring 2017

May 3
On Moment Problems in Robust Control, Spectral Estimation, Image Processing and System Identification
Anders Lindquist
Shanghai Jiao Tong University
slides | video |

May 8

Modeling Architecture Styles
Anastasia Mavridou
Vanderbilt University
| video |

Fall 2016

Sept. 26
Monitoring and Mitigation of Air Traffic Delays
Hamsa Balakrishnan
Massachusetts Institute of Technology
| slides | video |

Oct. 10
Experiences From Implementing Model-Based Systems Engineering in a Large Organization
Erik Herzog
SAAB
| video |

Oct. 17
Market Design for Future Electric Distribution Networks
Na Li
Harvard University
| video | slides |

Oct. 24
Model checking and strategy synthesis for mobile autonomy: From theory to practice
Marta Kwiakowska
University of Oxford
| video | slides |

Oct. 31
Model-Based Systems Engineering of Future Cyber-Physical Electrical Power Systems: Challenges and Foundations
Luigi Vanfretti
KTH
| video | slides |

Nov. 7
Physical Model-Based Design
Albert Benveniste
INRIA-IRISA
| slides | video |

Nov. 21
Model-Based System and Software Engineering: Why and How?
Sebastien Gerard
LISE Labs
| slides | video |

Dec. 5
Distributed optimization of continuous-time multi-agent networks
Yiguang Hong
Academy of Mathematics and Systems Science
Chinese Academy of Sciences
| slides | video |

Spring 2016

Feb. 22
Robust Model Predictive Control
Sasa Rakovic
Visiting Scholar
University of Texas
| video | slides |

Feb. 24
General Model Predictive Control
Sasa Rakovic
Visiting Scholar
University of Texas
| video | slides |

April 4
The Quality Cost Interface in the Era of Health Care Reform and the Role of Systems Engineering
Kenneth E. Wood
University of Maryland School of Medicine
| video |

April 25
Cellular Reprogramming and Controllability of Complex Systems
Roger Brockett
An Wang Research Professor of Electrical Engineering and Computer Science
Harvard University and ISR
* Joint event with the UTRC Control and Dynamical Systems Invited Lecture Series
| video | slides |

May 2
Opinion Dynamics over Signed Social Networks
Guodong Shi
Australian National University
(A combined Advanced Networks/MBSE Colloquium)
| video | slides |

May 9
Industrial and Systems Engineering in Healthcare Transformation
Priantha Devapriya
Healthcare Re-Engineering Center at Geisinger
| video |

July 11
Using model checking to improve the quality of complex industrial software
Jeroen Keiren
Open University of the Netherlands
| slides |

Fall 2015

Oct. 6
Recent Results in Power System Damping Control and RLC Network Model Order Reduction
Nelson Martins
CEPEL (Brazilian Electrical Energy Research Center)
Rio de Janeiro, Brazil
| slides part 1 | slides part 2 |

Fall 2014

Sept. 22
Strategies for Applying Analytical Methods in Manufacturing
Peter Denno
Computer Scientist
Systems Integration Division
National Institute of Standards and Technology
| video |

Oct. 6
NSF Program Overview: Engineering and Systems Design (ESD) and Systems Science (SYS)
Chris Paredis
Program Director
Engineering and Systems Design (ESD) and Systems Science (SYS) programs
National Science Foundation
| video |

Fall 2013

Sept. 23
Model-Based Software and Systems Engineering: Elements of Seamless Development
Manfred Broy
Chair Software and Systems Engineering
Fakultat fur Informatik
Technische Universitat Munchen
| video | slides |

Sept. 30
Smart Grids: End-to-End Cyber Physical Electric Energy Systems
Marija Ilic
Carnegie Mellon University
| video | slides |

Oct. 7
Models of Time for Safety Critical Systems
Partial vs. Total Order—Polychronous vs. Synchronous

Sandeep Shukla
Hume Center for National Security and Technology
Virginia Tech Arlington Research Center
| video | slides |

Oct. 14
Achieving Systems Understanding through MBSE-Centric Analytics
Christopher Oster
Space Systems Architect
Lockheed Martin
| slides |

Oct. 21
Integrated Modeling and Analysis to Support Model-Based System Developments
Hongman Kim
Phoenix Integration
| video |

Oct. 28
Systems Engineering and Innovation in Control--An Industry Perspective and an Application to Automotive Powertrains
Tariq Samad
Honeywell Automation and Control Solutions
| video | slides |

Nov. 8
Pluggable Analysis Viewpoints for Design Space Exploration
Michael Masin
IBM Research – Haifa Lab
| video | slides |

Nov. 11
System Engineering of GM's Global Automotive Electronics, Controls and Software Product Line: Current Practice and Challenges
Joseph D'Ambrosio
GM Research & Development
| video | slides |

Nov. 25
Fair Control under Resource Constraints
Sandra Hirche
Technishe Universitat Munchen
| slides | video |

Dec. 2
Intelligent Digital Manufacturing: Closing the gap between design and manufacturing
Tolga Kurtoglu
Xerox PARC
| video |

Dec. 17
A Derivative-Free Trust-Region Method for Biobjective Optimization
Sujin Kim
National University of Singapore
| video |

Spring 2013

Feb. 25
From Validating Models to Validating Systems
Peter Denno
National Institute of Standards and Technology
| video | slides |

April 1
Models for Geometric Composability of Engineered Physical Systems
Vijay Srinivasan
National Institute of Standards and Technology
| video | slides |

April 12
Analysis and Simulation of Embedded Control Performance using Jitterbug and TrueTime
Karl-Erik Arzen
Lund University, Sweden
| video | slides |

April 15
UML: Once More with Meaning
Ed Seidewitz
Ivar Jacobson International
| video | slides |

May 13
Extending SysML for Integration with Solver-based Simulation Tools
Conrad Bock
National Institute of Standards and Technology
| video | slides |

2012

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

2011

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

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

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

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

Nov. 7
Building Algebraic Structures with Combinators
Timothy Griffin
University of Cambridge
| video | slides |

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

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

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

April 25
Cellular Reprogramming and Controllability of Complex Systems
Roger Brockett
Harvard University and ISR


Top