Contact
Mail: 110 Cummington Street
Boston University, Boston, MA 02215
Office: Room EMA 220, 15 Saint Mary's
St., Phone (617) 353 9586
Lab: Rooms EMB 143-145, Phone (617)
353 1001
E-mail: cbelta at bu dot edu
Research interests
Verification and Control of Dynamical Systems,
Hybrid Systems, Mobile Robot
Networks, Gene and Metabolic Networks
For information on
publications, current projects, and group members, visit
my lab web page:
Hybrid and Networked Systems (HyNeSs) Lab
News
08/01/2009
NSF grant on formal approaches for analysis and control of stochastic
systems (with Sean Andersson)
5/12/2009 Our 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
01/12/2009
Workshop on Hybrid Systems
Approaches to Computational Biology, April 14, San Francisco, CA
12/15/2008 ARO grant on "Specification languages
and distributed control schemes for teams of unmanned vehicles"
11/25/2008 AFOSR Young Investigator Award “Formal
synthesis of control and communication strategies for teams of unmanned
vehicles" (AFOSR
news)
08/15/2008 NSF grant ($300,000, 09/2008 –
09/2011) in the area of formal analysis and control of hybrid systems (see
more)
