Calin Belta
According to our database^{1},
Calin Belta
authored at least 174 papers
between 2001 and 2019.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 2017, "For contributions to automated control synthesis and robot motion planning and control".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org

at sites.bu.edu
On csauthors.net:
Bibliography
2019
Formal Synthesis of Control Strategies for Positive Monotone Systems.
IEEE Trans. Automat. Contr., 2019
2018
Translational and Rotational Invariance in Networked Dynamical Systems.
IEEE Trans. Control of Network Systems, 2018
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.
IEEE Trans. Control of Network Systems, 2018
Formal Guarantees in DataDriven Model Identification and Control Synthesis.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Online Learning of Temporal Logic Formulae for Signal Classification.
Proceedings of the 2018 European Control Conference, 2018
Control Synthesis for Partial Differential Equations from SpatioTemporal Specifications.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
SpatialTemporal pattern Synthesis in a Network of Locally Interacting Cells.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Metrics for Signal Temporal Logic Formulae.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Distributed Robust SetInvariance for Interconnected Linear Systems.
Proceedings of the 2018 Annual American Control Conference, 2018
A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks.
Proceedings of the 2018 Annual American Control Conference, 2018
2017
Time window temporal logic.
Theor. Comput. Sci., 2017
Temporal Logics for Learning and Detection of Anomalous Behavior.
IEEE Trans. Automat. Contr., 2017
An Approximate Dynamic Programming Approach to Multiagent Persistent Monitoring in Stochastic Environments With Temporal Logic Constraints.
IEEE Trans. Automat. Contr., 2017
Formal Synthesis of CyberPhysical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 2017
Provably Safe Cruise Control of Vehicular Platoons.
IEEE Control Systems Letters, 2017
Signal Clustering Using Temporal Logics.
Proceedings of the Runtime Verification  17th International Conference, 2017
Rich Time Series Classification Using Temporal Logic.
Proceedings of the Robotics: Science and Systems XIII, 2017
Reinforcement learning with temporal logic rewards.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017
Minimumviolation scLTL motion planning for mobilityondemand.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017
Formal synthesis of distributed optimal traffic control policies.
Proceedings of the 8th International Conference on CyberPhysical Systems, 2017
Gridbased temporal logic inference.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Formal methods for adaptive control of dynamical systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Dynamic contracts for distributed temporal logic control of traffic networks.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Distributed control policies for localization of large disturbances in urban traffic networks.
Proceedings of the 2017 American Control Conference, 2017
Informative path planning under temporal logic constraints with performance guarantees.
Proceedings of the 2017 American Control Conference, 2017
Semisupervised pattern synthesis in spatially distributed dynamical systems.
Proceedings of the 2017 American Control Conference, 2017
2016
Traffic Network Control From Temporal Logic Specifications.
IEEE Trans. Control of Network Systems, 2016
Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.
Auton. Robots, 2016
Localization of a Ground Robot by Aerial Robots for GPSDeprived Control with Temporal Logic Constraints.
Proceedings of the International Symposium on Experimental Robotics, 2016
Dynamic routing of energyaware vehicles with Temporal Logic Constraints.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
LeastViolating Planning in Road Networks from Temporal Logic Specifications.
Proceedings of the 7th ACM/IEEE International Conference on CyberPhysical Systems, 2016
A Decision Tree Approach to Data Classification using Signal Temporal Logic.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Receding horizon robot control in partially unknown environments with temporal logic constraints.
Proceedings of the 2016 European Control Conference, 2016
Control in belief space with Temporal Logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Feasibility envelopes for metric temporal logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Safety control of monotone systems with bounded uncertainties.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Robotic swarm control from spatiotemporal specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Pattern synthesis in a 3D agentbased model of stem cell differentiation.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Formal synthesis of control strategies for dynamical systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
QLearning for robust satisfaction of signal temporal logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
A provably correct MPC approach to safety control of urban traffic networks.
Proceedings of the 2016 American Control Conference, 2016
Model predictive control of urban traffic networks with temporal logic constraints.
Proceedings of the 2016 American Control Conference, 2016
Integration of deterministic inference with formal synthesis for control under uncertainty.
Proceedings of the 2016 American Control Conference, 2016
Finite state abstraction and formal methods for traffic flow networks.
Proceedings of the 2016 American Control Conference, 2016
2015
Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties.
IEEE Trans. Automat. Contr., 2015
Formal Verification and Synthesis for DiscreteTime Stochastic Systems.
IEEE Trans. Automat. Contr., 2015
Temporal logic motion control using actorcritic methods.
I. J. Robotics Res., 2015
Temporal logic model predictive control.
Automatica, 2015
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Temporal logic motion planning using POMDPs with parity objectives: case study paper.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Enforcing temporal logic specifications via reinforcement learning.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
SpaTeL: a novel spatialtemporal logic and its applications to networked systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
SE(N) invariance in networked systems.
Proceedings of the European Control Conference, 2015
Optimal motion planning with temporal logic and switching constraints.
Proceedings of the European Control Conference, 2015
Distributed information gathering policies under temporal logic constraints.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Correctbyconstruction control synthesis for multirobot mixing.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Informationguided persistent monitoring under temporal logic constraints.
Proceedings of the American Control Conference, 2015
Controlling a network of signalized intersections from temporal logical specifications.
Proceedings of the American Control Conference, 2015
Robust temporal logic model predictive control.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
LanguageGuided Controller Synthesis for Linear Systems.
IEEE Trans. Automat. Contr., 2014
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints.
IEEE Trans. Automat. Contr., 2014
Formal Synthesis of Control Policies for Continuous Time Markov Processes From TimeBounded Temporal Logic Specifications.
IEEE Trans. Automat. Contr., 2014
Incremental controller synthesis in probabilistic environments with temporal logic constraints.
I. J. Robotics Res., 2014
Receding horizon temporal logic control in dynamic environments.
I. J. Robotics Res., 2014
LTL receding horizon control for finite deterministic systems.
Automatica, 2014
Formal Methods for Dynamical Systems.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
An AutomataTheoretic Approach to the Vehicle Routing Problem.
Proceedings of the Robotics: Science and Systems X, 2014
Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.
Proceedings of the Experimental Robotics, 2014
Reactive samplingbased temporal logic path planning.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Temporal logic inference for classification and prediction from data.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Anomaly detection in cyberphysical systems: A formal methods approach.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
A formal methods approach to pattern synthesis in reaction diffusion systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
An additive cost approach to optimal Temporal Logic control.
Proceedings of the American Control Conference, 2014
2013
Optimality and Robustness in MultiRobot Path Planning with Temporal Logic Constraints.
I. J. Robotics Res., 2013
Temporal logic robot control based on automata learning of environmental dynamics.
I. J. Robotics Res., 2013
Formal analysis of piecewise affine systems through formulaguided refinement.
Automatica, 2013
Receding Horizon Control in Dynamic Environments from Temporal Logic Specifications.
Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013
Samplingbased temporal logic path planning.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Negotiating the probabilistic satisfaction of temporal logic motion specifications.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Temporal logic motion planning in unknown environments.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Incremental synthesis of control policies for heterogeneous multiagent systems with linear temporal logic specifications.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Temporal logic control for an autonomous quadrotor in a nondeterministic environment.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
A receding horizon algorithm for informative path planning with temporal logic constraints.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Control of noisy differentialdrive vehicles from timebounded temporal logic specifications.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Optimal control of MDPs with temporal logic constraints.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Optimizing regulation functions in gene network identification.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Distribution temporal logic: Combining correctness with quality of estimation.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Datadriven verification of synthetic gene networks.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Optimal receding horizon control for finite deterministic systems with temporal logic constraints.
Proceedings of the American Control Conference, 2013
2012
Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees.
IEEE Trans. Robotics, 2012
Formal Approach to the Deployment of Distributed Robotic Teams.
IEEE Trans. Robotics, 2012
Temporal Logic Control of DiscreteTime Piecewise Affine Systems.
IEEE Trans. Automat. Contr., 2012
Incremental temporal logic synthesis of control policies for robots interacting with dynamic agents.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012
Probabilistically safe control of noisy Dubins vehicles.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012
Robust multirobot optimal path planning with temporal logic constraints.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Temporal logic motion control using actorcritic methods.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
LTL robot motion control based on automata learning of environmental dynamics.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Probabilistic control from timebounded temporal logic specifications in dynamic environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012
Languageguided controller synthesis for discretetime linear systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Formal methods for dynamical systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012
Experimentally driven verification of synthetic biological circuits.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Optimal MultiRobot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization.
Proceedings of the Distributed Autonomous Robotic Systems, 2012
Incremental control synthesis in probabilistic environments with Temporal Logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Approximate Markovian abstractions for linear stochastic systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Finite bisimulations for switched linear systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Multiagent persistent monitoring in stochastic environments with temporal logic constraints.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
Receding horizon temporal logic control for finite deterministic systems.
Proceedings of the American Control Conference, 2012
TimeConstrained Temporal Logic Control of MultiAffine Systems.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012
2011
Optimal path planning for surveillance with temporallogic constraints.
I. J. Robotics Res., 2011
Optimal multirobot path planning with Temporal Logic constraints.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
Temporal logic control in dynamic environments with probabilistic satisfaction guarantees.
Proceedings of the 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2011
Automatic Generation of Balletic Motions.
Proceedings of the 2011 IEEE/ACM International Conference on CyberPhysical Systems, 2011
An application of monotone functions decomposition to the reconstruction of gene regulatory networks.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011
A formal verification approach to the design of synthetic gene networks.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Integration of largescale metabolic, signaling, and gene regulatory networks with application to infection responses.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Multirobot deployment from LTL specifications with reduced communication.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Least squares temporal difference actorcritic methods with applications to robot motion control.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
MDP optimal control under temporal logic constraints.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Genetic regulatory network identification using multivariate monotone functions.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Synthesis of distributed control and communication schemes from global LTL specifications.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications.
IEEE Trans. Robotics, 2010
An Automated Framework for Formal Verification of Timed Continuous Petri Nets.
IEEE Trans. Industrial Informatics, 2010
Formal Analysis of DiscreteTime Piecewise Affine Systems.
IEEE Trans. Automat. Contr., 2010
Optimal path planning under temporal logic constraints.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
A hierarchical approach to automatic deployment of robotic teams with communication constraints.
Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010
Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
On the need for communication in distributed implementations of LTL motion specifications.
Proceedings of the IEEE International Conference on Robotics and Automation, 2010
INHAPTICS: Interactive navigation using haptics.
Proceedings of the 2010 IEEE Haptics Symposium, 2010
A Formal Approach to Deployment of Robotic Teams in an UrbanLike Environment.
Proceedings of the Distributed Autonomous Robotic Systems, 2010
Formal analysis of piecewise affine systems through formulaguided refinement.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
A symbolic approach to controlling piecewise affine systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Receding horizon surveillance with temporal logic specifications.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
2009
Automatic deployment of autonomous cars in a Robotic UrbanLike Environment (RULE).
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009
Temporal logic control of discretetime piecewise affine systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
A probabilistic approach for control of a stochastic system from LTL specifications.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009
2008
Robot Motion Planning.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications.
IEEE Trans. Automat. Contr., 2008
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty.
IEEE Trans. Automat. Contr., 2008
Exploiting the pathway structure of metabolism to reveal highorder epistasis.
BMC Systems Biology, 2008
Distributed implementations of global temporal logic motion specifications.
Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Dealing with Nondeterminism in Symbolic Control.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Formal analysis of timed continuous Petri nets.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Investigating the genomic basis of metabolic robustness through in silico flux analysis.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
2007
Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions.
IEEE Trans. Robotics, 2007
Symbolic planning and control of robot motion [Grand Challenges of Robotics].
IEEE Robot. Automat. Mag., 2007
Robustness analysis and tuning of synthetic gene networks.
Bioinformatics, 2007
Model Checking Liveness Properties of Genetic Regulatory Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Managing nondeterminism in symbolic robot motion planning and control.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007
Model Checking Genetic Regulatory Networks with Parameter Uncertainty.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
2006
Controlling a Class of Nonlinear Systems on Rectangles.
IEEE Trans. Automat. Contr., 2006
A Framework for Automatic Deployment of Robots in 2D and 3D Environments.
Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006
Controlling three Dimensional Swarms of Robots.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006
Hierarchical Abstractions for Robotic Swarms.
Proceedings of the 2006 IEEE International Conference on Robotics and Automation, 2006
Reachability Analysis of Multiaffine Systems.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
A Fully Automated Framework for Control of Linear Systems from LTL Specifications.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006
2005
Discrete abstractions for robot motion planning and control in polygonal environments.
IEEE Trans. Robotics, 2005
Computational Techniques for Analysis of Genetic Network Dynamics.
I. J. Robotics Res., 2005
Investigating metabolite essentiality through genomescale analysis of Escherichia coli production capabilities.
Bioinformatics, 2005
2004
Abstraction and control for Groups of robots.
IEEE Trans. Robotics, 2004
Hybrid control for visibilitybased pursuitevasion games.
Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004
On Controlling Aircraft and Underwater Vehicles.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
2003
Abstraction and Control for Swarms of Robots.
Proceedings of the Robotics Research, The Eleventh International Symposium, 2003
Abstraction and control for groups of fullyactuated planar robots.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003
2002
An SVDbased projection method for interpolation on SE(3).
IEEE Trans. Robotics and Automation, 2002
Modeling and analyzing biomolecular networks.
Computing in Science and Engineering, 2002
Trajectory Design for Formations of Robots by Kinetic Energy Shaping.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks.
Proceedings of the High Performance Computing, 2002
2001
Rotating stall control for axial flow compressors.
Automatica, 2001
Motion Generation for Formations of Robots a Geometric Approach.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001
Hybrid Modeling and Simulation of Biomolecular Networks.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001