### Categories

### Tags

# Category Archives: Publications

## Automating Mathematical Program Transformations

Abstract Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely heavily on various transformations between these subclasses, but most are not automated because MP theory does not … Continue reading

## An approach to compare genome tiling microarray and MPSS sequencing data for transcript mapping

Abstract Background: There are two main technologies for transcriptome profiling, namely, tiling microarrays and high-throughput sequencing. Recently there has been a tremendous amount of excitement about the latter because of the advent of next-generation sequencing technologies and its promises. Consequently, … Continue reading

## 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