Modeling and analyzing biomolecular networks

Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri 

Multi-modal control of systems with constraints 

Multi-agent hybrid simulation

Hierarchical hybrid modeling of embedded systems