Thesis

A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations

Sean Whitsitt

• Jan 1, 2014 • 1 min read

A Data-Driven Approach for System Approximation and Set Point Optimization, with a Focus in HVAC Systems

Xiao Qin

• Jan 1, 2014 • 1 min read

Design Validation of Multi-Mode Systems

Diyang Chu

• Jan 1, 2013 • 1 min read

Provable Detection Of Moving Targets With Reliable Sensors

Hussain Al-Helal

• Jan 1, 2011 • 1 min read

Modeling the Messaging and Component Interfaces of Autonomous Systems

Sean Whitsitt

• Jan 1, 2011 • 1 min read

Model Transformation by Domain-Specific Models

Maribel Hudson

• Jan 1, 2011 • 1 min read

A Domain-Specific Modeling Approach to the Auto-Generation of VHDL Core Wrappers

Erica Jones

• Jan 1, 2011 • 1 min read

Automatic Optimization of Models Using Metamodels

Jacob Gulotta

• Jan 1, 2010 • 1 min read

Metamodel Driven Model Migration

Jonathan Sprinkle

• Jan 1, 2003 • 1 min read

Model Integrated Program Synthesis of Agent Negotiation Protocols

Jonathan Sprinkle

• Jan 1, 2000 • 1 min read