2008
M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, Transactions of the Institute of Measurement and Control, Special Issue on Hybrid Systems, 2008 (accepted) (pdf)M. Kloetzer and C. Belta, A Fully Automated Framework for Control of Linear Systems From Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol. 53, no.1, pp. 287-297, 2008 (pdf)
M. Imielinski and C. Belta, Exploiting the pathway structure of metabolism to reveal high-order epistasis, BMC Systems Biology, 2:40, 2008 (pdf)
G. Batt, C. Belta, and R. Weiss, Temporal Logic Analysis of Gene Networks under Parameter Uncertainty, IEEE Transactions of Automatic Control, vol. 53, pp. 215 - 229, 2008 (pdf)
C. Belta, Abstractions for Planning and Control of Robotic Swarms, Bio-inspired Computing and Communication Networks, Auerbach Publications, CRC Press, eds. Yang Xiao and Fei Hu, 2008 (to appear)
C. Belta, Robot Motion Planning, Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc, Hoboken, ed. Benjamin Wah, 2008 (to appear)
B. Yordanov and C. Belta, Parameter synthesis for piecewise affine systems from temporal logic specifications, Proceedings of HSCC 2008, Lecture Notes in Computer Science, Springer , eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 542-555 2008 (pdf)
M. Kloetzer and C. Belta, Dealing with non-determinism in symbolic control, Proceedings of HSCC 2008, Lecture Notes in Computer Science, Springer, eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 287-300, 2008 (pdf)
M. Kloetzer, C. Mahulea, C. Belta, L. Recalde, and M. Silva, Formal analysis of timed continuous Petri nets, CDC 2008, Cancun, Mexico, (to appear)
M. Imielinski, N. Klitgord, and C. Belta, Investigating the genomic basis of metabolic robustness through in silico flux analysis, CDC 2008, Cancun, Mexico, (to appear)
B. Yordanov and C. Belta, Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty with Application to Gene Networks, American Control Conference (ACC), Seattle, WA 2008
M. Kloetzer and C. Belta, Distributed implementations of global temporal logic motion specifications, IEEE Int. Conf. on Robotics and Automation (ICRA), Pasadena, CA, 2008
2007
G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness Analysis and Tuning of Synthetic Gene Networks, Bioinformatics, vol.23, no.18, pp. 2415-2422, 2007 (pdf)C. Belta, A. Bicchi, M. Egerstedt, E. Frazzoli, E. Klavins, and G. J. Pappas, Symbolic Planning and Control of Robot Motion, IEEE Robotics and Automation Magazine - special issue on Grand Challenges of Robotics, vol. 14, no. 1, pp. 61-71, 2007 (pdf)
A. Halasz, V. Kumar, M. Imielinski, C. Belta, O. Sokolsky, S. Pathak, and H. Rubin, Analysis of Lactose Metabolism in E.coli using Reachability Analysis of Hybrid Systems, IET Systems Biology, vol.1, no.2, pp. 130-148, 2007
M. Kloetzer and C. Belta, Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions, IEEE Transactions on Robotics, vol. 23, no. 2, pp. 320-331, 2007 (pdf)
G. Batt, C. Belta, and R. Weiss, Model checking liveness properties of genetic regulatory networks, Proceedings of TACAS 2007, Lecture Notes in Computer Science, vol. 4424, pp. 323-338, 2007 (pdf)
G. Batt, C. Belta and R. Weiss, Model checking genetic regulatory networks with parameter uncertainty, Proceedings of HSCC 2007, Lecture Notes in Computer Science, vol. 4416, pp. 61-75, 2007 (pdf)
M. Imielinski and C. Belta, Uncovering complex essential reaction sets in E.coli metabolism through pathway fragment analysis, 8th International Conference on Systems Biology (ICSB), Long Beach, California, Oct. 2007
M. Kloetzer and C. Belta, Control of multi-robot teams based on LTL specifications, 4th IFAC Conference on Management and Control of Production and Logistics, Sibiu, Romania, 2007
G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Synthetic Biology 3.0, Zurich, Switzerland, 2007
G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks, Journées Ouvertes Biologie, Informatique et Mathématiques (JOBIM), Marseille, France, 2007
M. Imielinski and C. Belta, On the computation of minimal cut sets in genome scale metabolic networks, American Control Conference (ACC), New York, NY, 2007 (pdf)
B. Yordanov, G. Batt, and C. Belta, Model checking discrete-time piecewise affine systems: application to gene networks, European Control Conference (ECC), 2007 (pdf)
M. Kloetzer and C. Belta, Managing non-determinism in symbolic robot motion planning and control, IEEE International Conference on Robotics and Automation (ICRA), Rome, Italy, 2007 (pdf)
2006
C. Belta and L.C.G.J.M. Habets, Controlling a class of nonlinear systems on rectangles, IEEE Transactions on Automatic Control, vol. 51, no. 11, pp. 1749-1759, 2006 (pdf)M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Systematic analysis of conservation relations in E.coli genome scale metabolic network reveals novel growth media, Biophysical Journal, vol. 90, pp. 2659 - 2672, 2006 (pdf)
M. Kloetzer and C. Belta, Reachability analysis of multi-affine systems, Proceedings of HSCC 2006, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 348 – 362, 2006 (pdf)
M. Kloetzer and C. Belta, A fully automated framework for control of linear systems from LTL specifications, Proceedings of HSCC 2006, Lecture Notes in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 333 – 347, 2006 (pdf)
M. Kloetzer, L.C.G.J.M. Habets, and C. Belta, Control of rectangular multi-affine hybrid systems, 45th IEEE Conference on Decision and Control, San Diego, CA, 2006 (pdf)
G. Batt, B. Yordanov, R. Weiss, and C. Belta, Robustness analysis and tuning of synthetic gene networks with parameter uncertainties, Engineering Principles in Biology, Cold Spring Harbor, New York, 2006
M. Kloetzer and C. Belta, A framework for automatic deployment of robots in 2D and 3D environments, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Beijing, China, 2006 (pdf)
N. Michael, C. Belta, and V. Kumar, Controlling three dimensional swarms of robots, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, 2006 (pdf)
M. Kloetzer and C. Belta, Hierarchical abstractions for robotic swarms, IEEE International Conference on Robotics and Automation (ICRA), Orlando, FL, 2006 (pdf)
M. Kloetzer and C. Belta, A fully automated framework for control of linear systems from LTL specifications, 9th International Workshop on Hybrid Systems: Computation and Control, Santa Barbara, CA, 2006 (pdf)
2005
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Characterizing the essential metabolome through genome scale analysis of E.Coli production capabilities, Bioinformatics, vol. 21 no. 9, pp. 2008–2016, 2005 (pdf)C. Belta, V. Isler, and G. J. Pappas, Discrete abstractions for robot planning and control in polygonal environments, IEEE Transactions on Robotics, vol.21, no.5, pp. 864-874, 2005 (pdf)
C. Belta, J. Esposito, J. Kim, and V. Kumar, Computational techniques for analysis of genetic network dynamics, The International Journal of Robotics Research, vol. 24, no. 2-3, pp. 219-235, 2005 (pdf)
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Systematic analysis of conservation relations in E.coli genome scale metabolic network reveals novel growth media, International Conference on Systems Biology, Boston, MA, 2005
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Characterizing elementary combinations of producible species in metabolic networks, Foundations of Systems Biology and Engineering, University of California Santa Barbara, August 2005
2004
Calin Belta and Vijay Kumar, Abstraction and control for groups of robots, IEEE Transactions on Robotics, vol.20, no.5, pp.865-875, 2004 (pdf)Calin Belta and Vijay Kumar, Optimal motion generation for groups of robots: a geometric approach, ASME Journal of Mechanical Design, Vol. 126, pp. 63-70, 2004 (pdf)
C. Belta, P. Finin, L.C.G.J.M. Habets, A. Halasz, M. Imielinski, V.Kumar, and H. Rubin, Understanding the bacterial stringent response using reachability analysis of hybrid systems, Lecture Notes in Computer Science, vol. 2993, pp. 111-126, 2004 (pdf)
C. Belta, G. Pereira, and V. Kumar, Abstraction and control for swarms of robots, Springer Tracts in Advanced Robotics, eds. B. Siciliano, O. Khatib, and F. Groen, Springer-Verlag, Berlin, 2004
Calin Belta and Vijay Kumar, Geometric methods for multirobot motion planning, Handbook of Computational Geometry for Pattern Recognition, Computer Vision, Neurocomputing and Robotics, ed. Eduardo Bayro-Corrochano, Springer-Verlag, pp. 536-563, 2004 (pdf)
M. Imielinski, C. Belta, A. Halasz, and H. Rubin, Probing metabolite essentiality through in silico genome scale analysis of E.Coli production capabilities, 5th International Conference on Systems Biology, Heidelberg, Germany, Oct. 2004 (Best Poster Award)
C. Belta, P. Finin, L.C.G.J.M. Habets, A. Halasz, M. Imielinksi, V.Kumar, and H. Rubin, Understanding the bacterial stringent response using reachability analysis of hybrid systems, 7th International Workshop on Hybrid Systems: Computation and Control, Philadelphia, PA, March, 2004 (pdf)
C. Belta, On controlling aircraft and underwater vehicles, IEEE International Conference on Robotics and Automation, New Orleans, LA, April 2004 (pdf)
C. Belta and L.C.G.J.M. Habets, Constructing decidable hybrid systems with velocity bounds, 43rd IEEE Conference on Decision and Control, 2004 (pdf)
V. Isler, C. Belta, K. Daniilidis, and G. J. Pappas, Stochastic Hybrid Control for Visibility-Based Pursuit-Evasion Games, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2004 (pdf)
2003
C. Belta. G. Pereira, and V. Kumar, Abstraction and control for swarms of robots, 11th International Symposium of Robotics Research, Siena, Italy, Oct. 2003 (pdf)C. Belta, G. Pereira, and V. Kumar, Control of a team of car-like robots using abstractions, 42nd IEEE Conference on Decision and Control, CDC, Maui, Hawaii, Dec. 2003 (pdf)
C. Belta and V. Kumar, Abstraction and control for groups of fully – actuated planar robots, IEEE International Conference on Robotics and Automation, Taipei, Taiwan, Sept. 2003 (pdf)
R. Alur, C. Belta, F. Ivancic, V. Kumar, H. Rubin, J. Schug, O. Sokolsky and J. Webb, Visual programming for modeling and simulation of bioregulatory networks, International Conference on High Performance Computing, Bangalore, India, Dec. 2002 (pdf)
Geometric methods for multi-robot planning and control, PhD Thesis, University of Pennsylvania, 2003 (pdf)
2002
Calin Belta and Vijay Kumar, An SVD – based projection method for interpolation on SE(3), IEEE Transactions on Robotics and Automation, vol. 18, no. 3, pp. 334 – 345, June 2002 (pdf)Calin Belta and Vijay Kumar, Euclidean metrics for motion generation on SE(3), Journal of Mechanical Engineering Science Part C, vol. 216, no. C1, pp. 47 – 60, 2002 (pdf)
Calin Belta and Vijay Kumar, On the computation of rigid body motion, Electronic Journal of Computational Kinematics, vol 1, no. 1, 2002 (pdf)
R. Alur, C. Belta, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug, Modeling and analyzing biomolecular networks, Computing in Science and Engineering, Jan/Feb 2002, pp. 20 – 30 (pdf)
R. Alur, C. Belta, F. Ivancic, V. Kumar, H. Rubin, J. Schug, O. Sokolsky and J. Webb, Visual programming for modeling and simulation of bioregulatory networks, Lecture Notes in Computer Science, vol 2552, pp. 702-713, 2002 (pdf)
Calin Belta and Vijay Kumar, Towards abstraction and control for large groups of robots, Control Problems in Robotics, Springer Tracts in Advanced Robotics, Springer-Verlag, Berlin, 2002, pp. 169 – 182 (pdf)
Calin Belta and Vijay Kumar, Towards abstraction and control for large groups of robots, 2nd International Workshop on Control Problems in Robotics and Automation, Las Vegas, NV, Dec. 2002 (pdf)
Calin Belta, Luc Habets, and Vijay Kumar, Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks, 41st IEEE Conference on Decision and Control, Las Vegas, NV, Dec. 2002 (pdf)
C. Belta and V. Kumar, Motion generation for groups of robots: a centralized, geometric approach, ASME DETC, Montreal, Canada, Oct. 2002 (pdf)
C. Belta and V. Kumar, Trajectory design for formations of robots by kinetic energy shaping, IEEE International Conference on Robotics and Automation, Washington, DC, May 2002 (pdf)
2001
Calin Belta, Guouxiang Gu, A. Sparks, and Siva Banda, Rotating stall control for axial flow compressors, Automatica, vol. 37, pp. 921-931, 2001 (pdf)R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, J. Schug, Hybrid modelling and simulation of biomolecular networks, Lecture Notes in Computer Science, vol. 2034, pp. 19-32 (pdf)
C. Belta, J. Schug, T. Dang, V. Kumar, G. J. Pappas, H. Rubin, P. V. Dunlap, Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri, 40th IEEE CDC, Orlando, Florida, 2001(pdf)
R. Fierro, C. Belta, J. Desai, V. Kumar, On controlling aircraft formations, 40th IEEE CDC, Orlando, Florida, 2001
C. Belta and V. Kumar, Designing trajectories for formations of fully actuated robots, 5th SIAM Conference on Control and its Applications, San Diego, CA, July 2001
R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, J. Schug, Hybrid modelling and simulation of biomolecular networks, 4th International Workshop on Hybrid Systems: Computation and Control, Rome, Italy, March 2001 (pdf)
Calin Belta and Vijay Kumar, On the computation of rigid body motion, 2nd Workshop on Computational Kinematics, Seoul, Korea, May 2001 (pdf)
Calin Belta and Vijay Kumar, Motion generation for formations of robots: a geometric approach, IEEE International Conference on Robotics and Automation, Seoul, Korea, 2001 (pdf)
2000
Calin Belta and Vijay Kumar, An efficient, geometric approach to rigid body motion interpolation, ASME 2000 International Design Engineering Technical Conferences and the Computers and Information in Engineering Conference, Baltimore, Maryland, September, 2000 (pdf)Calin Belta and Vijay Kumar, New metrics for rigid body motion interpolation, Ball 2000 Symposium Commemorating the Legacy, Works, and Life of Sir Robert Stawell Ball, University of Cambridge, UK, July, 2000
pre 2000
Calin Belta, Guoxiang Gu, Andrew Sparks, Siva Banda, Stall Control for Axial Compressors, 14th World Congress of IFAC, Beijing, China, July, 1999Guoxiang Gu, Andrew Sparks, and Calin Belta, Stability analysis for rotating stall dynamics in axial flow compressors, Circuits, Systems and Signal Processing, vol.18, no.4, pp.331-350, 1999.
Calin Belta, Guoxiang Gu, Andrew Sparks, Siva Banda, Rotating Stall Control for Axial Flow Compressors, 37th IEEE Conference on Decision and Contol, Tampa, Florida, December, 1998
Botan C., Belta C., On the Optimal Controller for Singular Systems, 11th International Conf. on Control Systems and Computer Science, Bucharest, 1997, Vol. 1, pp. 36-41
Corneliu Botan and Calin Belta, Some aspects concerning the controller implementation for the discrete LQ problem, Bulletin of the Polytechnic Institute of Iasi, vol.XLIII(1-4), pp.11-16, 1997.
Botan C., Belta C., Some Aspects Concerning the Controller Implementation for the Discrete LQ-Problem, 5th Symposium on Automatic Control and Computer Science, Iasi, 1995, Vol. 1, pp.275-278
Botan C., Postolache M., Onea A., Belta C., An Implementation of the Controller for LQ Optimal Problem, 10th International Conference on Control Systems and Computer Science, Bucharest, 1995, Vol.1, pp.83-86.
Botan C., Belta C., Weight Selection in the LQ Problem with Finite Final Time, 10th IFAC Workshop on Control Applications on Optimization, Haifa, 1995