Calin Belta

Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta: Formal analysis of piecewise affine systems through formula-guided refinement. Automatica 49(1): 261-266 (2013)

Calin Belta, Franjo Ivancic (Eds.): Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA. ACM 2013, isbn 978-1-4503-1567-8

Austin Jones, Mac Schwager, Calin Belta: Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints. CoRR abs/1301.7482 (2013)

Maria Svorenova, Ivana Cerna, Calin Belta: Optimal Control of MDPs with Temporal Logic Constraints. CoRR abs/1303.1942 (2013)

Maria Svorenova, Ivana Cerná, Calin Belta: Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. CoRR abs/1303.3533 (2013)

Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta: Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Automat. Contr. 57(6): 1491-1504 (2012)

Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta: Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Transactions on Robotics 28(1): 158-171 (2012)

Morteza Lahijanian, Sean B. Andersson, Calin Belta: Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees. IEEE Transactions on Robotics 28(2): 396-409 (2012)

Yushan Chen, Kun Deng, Calin Belta: Multi-agent persistent monitoring in stochastic environments with temporal logic constraints. CDC 2012: 2801-2806

Morteza Lahijanian, Sean B. Andersson, Calin Belta: Approximate Markovian abstractions for linear stochastic systems. CDC 2012: 5966-5971

Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta: Finite bisimulations for switched linear systems. CDC 2012: 7632-7637

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta: Incremental control synthesis in probabilistic environments with Temporal Logic constraints. CDC 2012: 7658-7663

Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore: Experimentally driven verification of synthetic biological circuits. DATE 2012: 236-241

Calin Belta: Formal methods for dynamical systems. HSCC 2012: 3-4

Ebru Aydin Gol, Mircea Lazar, Calin Belta: Language-guided controller synthesis for discrete-time linear systems. HSCC 2012: 95-104

Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta: Temporal logic motion control using actor-critic methods. ICRA 2012: 4687-4692

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta: Robust multi-robot optimal path planning with temporal logic constraints. ICRA 2012: 4693-4698

A. I. Medina Ayala, Sean B. Andersson, Calin Belta: Probabilistic control from time-bounded temporal logic specifications in dynamic environments. ICRA 2012: 4705-4710

Yushan Chen, Jana Tumova, Calin Belta: LTL robot motion control based on automata learning of environmental dynamics. ICRA 2012: 5177-5182

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus: Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents. IROS 2012: 229-236

Igor Cizelj, Calin Belta: Probabilistically safe control of noisy Dubins vehicles. IROS 2012: 2857-2862

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta: Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints. CoRR abs/1202.1307 (2012)

Xu Chu Ding, Jing Wang, Morteza Lahijanian, Ioannis Ch. Paschalidis, Calin Belta: Temporal Logic Motion Control using Actor-Critic Methods. CoRR abs/1202.2185 (2012)

Tichakorn Wongpiromsarn, Alphan Ulusoy, Calin Belta, Emilio Frazzoli, Daniela Rus: Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents. CoRR abs/1203.1180 (2012)

Xu Chu Ding, Mircea Lazar, Calin Belta: Receding Horizon Temporal Logic Control for Finite Deterministic Systems. CoRR abs/1203.2860 (2012)

Ebru Aydin Gol, Calin Belta: Time-Constrained Temporal Logic Control of Multi-Affine Systems. CoRR abs/1203.5683 (2012)

Xu Chu Ding, Mircea Lazar, Calin Belta: Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions. CoRR abs/1203.6408 (2012)

Igor Cizelj, Calin Belta: Probabilistically Safe Control of Noisy Dubins Vehicles. CoRR abs/1207.1280 (2012)

Alphan Ulusoy, Stephen L. Smith, Calin Belta: Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization. CoRR abs/1207.2415 (2012)

Ebru Aydin Gol, Xu Chu Ding, Mircea Lazar, Calin Belta: Finite Bisimulations for Switched Linear Systems. CoRR abs/1208.5471 (2012)

Alphan Ulusoy, Tichakorn Wongpiromsarn, Calin Belta: Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints. CoRR abs/1209.0136 (2012)

Igor Cizelj, Calin Belta: Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications. CoRR abs/1209.1139 (2012)

Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus: Optimal path planning for surveillance with temporal-logic constraints. I. J. Robotic Res. 30(14): 1695-1708 (2011)

Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus: MDP optimal control under temporal logic constraints. CDC-ECE 2011: 532-538

Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis: Least squares temporal difference actor-critic methods with applications to robot motion control. CDC-ECE 2011: 704-709

Nicholas Cooper, Calin Belta, A. Agung Julius: Genetic regulatory network identification using multivariate monotone functions. CDC-ECE 2011: 2208-2213

Guilhem Richard, Hyeygjeon Chang, Igor Cizelj, Calin Belta, A. Agung Julius, Salomon Amar: Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses. CDC-ECE 2011: 2227-2232

Yushan Chen, Xu Chu Ding, Calin Belta: Synthesis of distributed control and communication schemes from global LTL specifications. CDC-ECE 2011: 2718-2723

Marius Kloetzer, Xu Chu Ding, Calin Belta: Multi-robot deployment from LTL specifications with reduced communication. CDC-ECE 2011: 4867-4872

Boyan Yordanov, Calin Belta: A formal verification approach to the design of synthetic gene networks. CDC-ECE 2011: 4873-4878

Amy LaViers, Magnus Egerstedt, Yushan Chen, Calin Belta: Automatic Generation of Balletic Motions. ICCPS 2011: 13-21

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus: Optimal multi-robot path planning with Temporal Logic constraints. IROS 2011: 3087-3092

A. I. Medina Ayala, Sean B. Andersson, Calin Belta: Temporal logic control in dynamic environments with probabilistic satisfaction guarantees. IROS 2011: 3108-3113

Igor Cizelj, Xu Chu Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta: Probabilistically Safe Vehicle Control in a Hostile Environment. CoRR abs/1103.4065 (2011)

Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus: MDP Optimal Control under Temporal Logic Constraints. CoRR abs/1103.4342 (2011)

Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus: LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees. CoRR abs/1104.1159 (2011)

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus: Optimal Multi-Robot Path Planning with Temporal Logic Constraints. CoRR abs/1107.0062 (2011)

Marius Kloetzer, Xu Chu Ding, Calin Belta: Multi-robot Deployment From LTL Specifications with Reduced Communication. CoRR abs/1108.3240 (2011)

Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian, Jing Wang, Calin Belta, Ioannis Ch. Paschalidis: Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control. CoRR abs/1108.4698 (2011)

Yushan Chen, Xu Chu Ding, Calin Belta: Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications. CoRR abs/1109.1251 (2011)

Boyan Yordanov, Calin Belta: A Formal Verification Approach to the Design of Synthetic Gene Networks. CoRR abs/1109.1275 (2011)

Boyan Yordanov, Calin Belta: Formal Analysis of Discrete-Time Piecewise Affine Systems. IEEE Trans. Automat. Contr. 55(12): 2834-2840 (2010)

Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva: An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Trans. Industrial Informatics 6(3): 460-471 (2010)

Marius Kloetzer, Calin Belta: Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications. IEEE Transactions on Robotics 26(1): 48-61 (2010)

Xu Chu Ding, Calin Belta, Christos G. Cassandras: Receding horizon surveillance with temporal logic specifications. CDC 2010: 256-261

Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat: A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235

Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat: Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904

Morteza Lahijanian, Joseph Wasniewski, Sean B. Andersson, Calin Belta: Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees. ICRA 2010: 3227-3232

Marius Kloetzer, Sanjiv Itani, Sam Birch, Calin Belta: On the need for communication in distributed implementations of LTL motion specifications. ICRA 2010: 4451-4456

Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus: Optimal path planning under temporal logic constraints. IROS 2010: 3288-3293

Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta: A hierarchical approach to automatic deployment of robotic teams with communication constraints. IROS 2010: 5079-5084

Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus: Optimal Path Planning under Temporal Logic Constraints. CoRR abs/1007.2212 (2010)

Morteza Lahijanian, Sean B. Andersson, Calin Belta: A probabilistic approach for control of a stochastic system from LTL specifications. CDC 2009: 2236-2241

Boyan Yordanov, Calin Belta: Temporal logic control of discrete-time piecewise affine systems. CDC 2009: 3182-3187

Morteza Lahijanian, Marius Kloetzer, Sara Itani, Calin Belta, Sean B. Andersson: Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE). ICRA 2009: 2055-2060

Grégory Batt, Calin Belta, Ron Weiss: Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty. IEEE Trans. Automat. Contr. 53: 215-229 (2008)

Marius Kloetzer, Calin Belta: A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications. IEEE Trans. Automat. Contr. 53(1): 287-297 (2008)

Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva: Formal analysis of timed continuous Petri nets. CDC 2008: 245-250

Marcin Imielinski, Niels Klitgord, Calin Belta: Investigating the genomic basis of metabolic robustness through in silico flux analysis. CDC 2008: 793-798

Marius Kloetzer, Calin Belta: Dealing with Nondeterminism in Symbolic Control. HSCC 2008: 287-300

Boyan Yordanov, Calin Belta: Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC 2008: 542-555

Marius Kloetzer, Calin Belta: Distributed implementations of global temporal logic motion specifications. ICRA 2008: 393-398

Calin Belta: Robot Motion Planning. Wiley Encyclopedia of Computer Science and Engineering 2008

Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18): 2415-2422 (2007)

Marius Kloetzer, Calin Belta: Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions. IEEE Transactions on Robotics 23(2): 320-330 (2007)

Grégory Batt, Calin Belta, Ron Weiss: Model Checking Genetic Regulatory Networks with Parameter Uncertainty. HSCC 2007: 61-75

Marius Kloetzer, Calin Belta: Managing non-determinism in symbolic robot motion planning and control. ICRA 2007: 3110-3115

Grégory Batt, Calin Belta, Ron Weiss: Model Checking Liveness Properties of Genetic Regulatory Networks. TACAS 2007: 323-338

Calin Belta, Luc C. G. J. M. Habets: Controlling a Class of Nonlinear Systems on Rectangles. IEEE Trans. Automat. Contr. 51(11): 1749-1759 (2006)

Marius Kloetzer, Calin Belta: A Fully Automated Framework for Control of Linear Systems from LTL Specifications. HSCC 2006: 333-347

Marius Kloetzer, Calin Belta: Reachability Analysis of Multi-affine Systems. HSCC 2006: 348-362

Marius Kloetzer, Calin Belta: Hierarchical Abstractions for Robotic Swarms. ICRA 2006: 952-957

Nathan Michael, Calin Belta, Vijay Kumar: Controlling three Dimensional Swarms of Robots. ICRA 2006: 964-969

Marius Kloetzer, Calin Belta: A Framework for Automatic Deployment of Robots in 2D and 3D Environments. IROS 2006: 953-958

Marcin Imielinski, Calin Belta, Ádám M. Halász, Harvey Rubin: Investigating metabolite essentiality through genome-scale analysis of Escherichia coli production capabilities. Bioinformatics 21(9): 2008-2016 (2005)

Calin Belta, Joel M. Esposito, Jongwoo Kim, Vijay Kumar: Computational Techniques for Analysis of Genetic Network Dynamics. I. J. Robotic Res. 24(2-3): 219-235 (2005)

Calin Belta, Volkan Isler, George J. Pappas: Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Transactions on Robotics 21(5): 864-874 (2005)

Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin: Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. HSCC 2004: 111-125

Calin Belta: On Controlling Aircraft and Underwater Vehicles. ICRA 2004: 4905-4910

Volkan Isler, Calin Belta, Kostas Daniilidis, George J. Pappas: Hybrid control for visibility-based pursuit-evasion games. IROS 2004: 1432-1437

Calin Belta, Vijay Kumar: Abstraction and control for groups of fully-actuated planar robots. ICRA 2003: 2498-2503

Calin Belta, Guilherme A. S. Pereira, Vijay Kumar: Abstraction and Control for Swarms of Robots. ISRR 2003: 224-233

Calin Belta, Vijay R. Kumar: An SVD-based projection method for interpolation on SE(3). IEEE Transactions on Robotics 18(3): 334-345 (2002)

Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb: Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. HiPC 2002: 702-712

Calin Belta, Vijay Kumar: Trajectory Design for Formations of Robots by Kinetic Energy Shaping. ICRA 2002: 2593-2598

Calin Belta, Guoxiang Gu, Andrew G. Sparks, Siva Banda: Rotating stall control for axial flow compressors. Automatica 37(6): 921-931 (2001)

Rajeev Alur, Calin Belta, Franjo Ivancic: Hybrid Modeling and Simulation of Biomolecular Networks. HSCC 2001: 19-32

Calin Belta, Vijay Kumar: Motion Generation for Formations of Robots a Geometric Approach. ICRA 2001: 1245-1250