Calin Belta, Ph.D.

Photo of Calin Belta

Associate Professor

Ph.D., University of Pennsylvania

phone: (617) 353-9586
email: cbelta@bu.edu
website: iasi.bu.edu/~cbelta
office: 110 Cummington Mall, ENG 414

Research Interests

Controls – Formal Methods – Robotics – Systems Biology

In control problems, complex mathematical models, such as systems of differential equations, are usually checked against simple specifications. Examples include the stability of on operating point, the invariance of a set, controllability and observability. In formal analysis (verification), rich specifications such as languages and formulas of temporal logics, are checked against simple models of software programs and digital circuits, such as (finite) transition graphs.
The main focus in my group is the development of computational tools for bridging in this gap, and therefore allowing for specifying the properties of continuous and hybrid systems in a rich language, with automatic verification and controller synthesis. The application areas are robotics and biology.

Calin Belta is a senior member of the IEEE and an Associate Editor for the SIAM Journal on Control and Optimization and for the IEEE Transactions on Automatic Control. He received the AFOSR Young Investigator Award in 2008 and the NSF CAREER Award in 2005.

Selected Publications
  • M. Kloetzer and C. Belta, “A fully automated framework for control of¬†linear systems from temporal logic specifications,” IEEE Transactions onAutomatic Control, vol. 53, no. 1, pp. 287-297, 2008Y.
  • Chen, D. Ding, A. Stefanescu, and C. Belta, “A Formal Approach to theDeployment of Distributed Robotic Teams,” IEEE Transaction on Robotics, vol. 28, issue 1, pp.158 ¬≠ 171, 2012B.
  • Yordanov, J. Tumova, I. Cerna, J. Barnat, C. Belta, “Temporal LogicControl of Discrete-Time Piecewise Affine Systems,” IEEE Transactions onAutomatic Control, vol. 57, no. 6, pp. 1491-1504, 2012M.
  • Imielinski and C. Belta, “Exploiting the pathway structure ofmetabolism to reveal high-order epistasis,” BMC Systems Biology, 2:40, 2008M.
  • Kloetzer and C. Belta, “Temporal Logic Planning and Control of RoboticSwarms by Hierarchical Abstractions,” IEEE Transactions on Robotics,vol.23, no.2, pp. 320-331, 2007