Calin Belta, Ph.D.
Ph.D., University of Pennsylvania
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.
- 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