Categories
Tags
Tag Archives: Hybrid Systems
Linear coupled component automata for MILP modeling of hybrid systems
Abstract We ï¬rst introduce a novel modeling framework, called linear coupled component automata (LCCA), to facilitate the modeling of discrete-continuous dynamical systems with piecewise constant derivatives. Second, we provide a procedure for transforming models in this framework to mixed-integer linear … Continue reading
Dissertation: Logical Modeling Frameworks for the Optimization of Discrete-Continuous Systems
Abstract Often, it is very difficult to pose a model for a system even after the system is conceptually understood. The reason is the mathematical languages we employ have few forms of expression. We define more expressive languages, first for … Continue reading
Posted in Presentations, Publications
Tagged Hybrid Systems, Optimization, SML, Types
Leave a comment
Finished my PhD!
Thanks to my great advisors Robert Harper and Ignacio Grossmann. Read all about it here.
