|
| |
| |
|
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) |
| 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) |
| 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. 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) |
| 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) |
| 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) |
| Calin Belta, Guouxiang Gu, A. Sparks, and Siva Banda,
Rotating stall control for axial flow compressors, Automatica, vol.
37, pp. 921-931, 2001
(pdf) |
| Guoxiang 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. |
| 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. |
Book Chapters
|
B. Yordanov and C. Belta, Parameter synthesis for
piecewise affine systems from temporal logic specifications, 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, Lecture Notes in Computer
Science, Springer, eds. M. Egerstedt and B. Mishra, vol. 4981, pp.
287-300, 2008 (pdf) |
| G. Batt, C. Belta, and R. Weiss, Model checking
liveness properties of genetic regulatory networks, 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, Lecture Notes in
Computer Science, vol. 4416, pp. 61-75, 2007 (pdf) |
| M. Kloetzer and C. Belta, Reachability analysis of
multi-affine systems, 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, Lecture Notes
in Computer Science, Springer Berlin / Heidelberg, vol. 3927, pp. 333
– 347, 2006 (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) |
| 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) |
| 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) |
| 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 (to
appear) |
|
M. Kloetzer and C. Belta, Distributed
implementations of global temporal logic motion specifications, IEEE
Int. Conf. on Robotics and Automation (ICRA), Pasadena, CA, 2008 (to
appear) |
|
M. Kloetzer and C. Belta, Dealing with
non-determinism in symbolic control, 11th International
Conf. on Hybrid Systems: Computation and Control, (HSCC), St. Louis,
2008 (to appear) |
|
B. Yordanov and C. Belta, Parameter synthesis for
piecewise affine systems from temporal logic specifications with
application to gene networks, 11th International Conference
on Hybrid Systems: Computation and Control, (HSCC), St. Louis, 2008
(to appear) |
| 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) |
| G. Batt, C. Belta, and R. Weiss, Model checking
liveness properties of genetic regulatory networks, 13th Int.
Conf.on Tools and Algorithms for the Construction and Analysis of
Systems (TACAS), Braga, Portugal, 2007
(pdf) |
| G. Batt, C. Belta and R. Weiss, Model checking genetic
regulatory networks with parameter uncertainty,
10th International Workshop on Hybrid Systems: Computation and Control
(HSCC), Pisa, Italy, 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) |
| 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, LTL planning for groups of
robots, IEEE International Conference on Networking, Sensing, and
Control, Ft. Lauderdale, 2006
(pdf) |
| M. Kloetzer and C. Belta, Reachability analysis of
multi-affine systems, 9th International Workshop on Hybrid Systems:
Computation and Control, Santa Barbara, CA, 2006
(pdf) |
| M. Kloetzer and C. Belta, A fully automated framework
for control of linear from LTL specifications, 9th International
Workshop on Hybrid Systems: Computation and Control, Santa Barbara,
CA, 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, 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 |
| 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) |
| 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) |
| 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) |
| 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) |
| 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 |
| 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 |
| Calin Belta, Guoxiang Gu, Andrew Sparks, Siva Banda,
Stall Control for Axial Compressors, 14th World Congress of IFAC,
Beijing, China, July, 1999 |
| 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 |
| 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 |
| Geometric methods for multi-robot planning and control, PhD Thesis,
University of Pennsylvania, 2003 (pdf) |
|
|
