Welcome to our HyNeSs Lab!

We are interested in phenomena that occur when continuous dynamics, described by systems of differential equations, are combined with discrete dynamics, modelled as automata or state transition graphs. Such systems are called hybrid, and examples range from man-made systems such as mobile robots, to naturally occurring systems such as biochemical networks, where the continuous dynamics of metabolic processes is regulated by the logic of gene expression. Our approach to the analysis and control of such systems combine concepts and tools from computer science and control theory.

Our current application areas are networked mobile robotics, swarming, gene networks, and genome scale metabolic analysis.

News

5/12/2009 HyNeSs Lab work on RULE was featured in the latest issue of MIT technology review.

5/08/2009 HyNeSs Lab is part of a large multi-university project on agent and multi-agent autonomy. This will be 5-year collaboration with labs from MIT, UC Berkeley, and the University of Pennsylvania. Here's the press release from ONR

12/15/2008 HyNeSs Lab is awarded an ARO grant on "Specification languages and distributed control schemes for teams of unmanned vehicles"

11/25/2008 HyNeSs Lab is awarded an AFOSR Young Investigator Award “Formal synthesis of control and communication strategies for teams of unmanned vehicles" (AFOSR news)

08/15/2008 HyNeSs Lab is awarded an NSF grant ($300,000, 09/2008 – 09/2011) in the area of formal analysis and control of hybrid systems (see more)

07/31/2008 RA positions available - interested graduate students send email to cbelta at bu dot edu with CV attached