Calin Belta

According to our database1, Calin Belta authored at least 213 papers between 2001 and 2018.

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 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.
IEEE Trans. Control of Network Systems, 2018

Metrics for Signal Temporal Logic Formulae.
CoRR, 2018

Formal Guarantees in Data-Driven Model Identification and Control Synthesis.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Distributed Robust Set-Invariance 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 Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 2017

Provably Safe Cruise Control of Vehicular Platoons.
IEEE Control Systems Letters, 2017

Automata Guided Hierarchical Reinforcement Learning for Zero-shot Skill Composition.
CoRR, 2017

Distributed Robust Set-Invariance for Interconnected Linear Systems.
CoRR, 2017

A Policy Search Method For Temporal Logic Specified Reinforcement Learning Tasks.
CoRR, 2017

Provably Safe Cruise Control of Vehicular Platoons.
CoRR, 2017

Formal Methods for Adaptive Control of Dynamical Systems.
CoRR, 2017

Formal Synthesis of Control Strategies for Positive Monotone Systems.
CoRR, 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

Minimum-violation scLTL motion planning for mobility-on-demand.
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 Cyber-Physical Systems, 2017

Grid-based 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

Semi-supervised 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

Time Window Temporal Logic.
CoRR, 2016

Safety Control of Monotone Systems with Bounded Uncertainties.
CoRR, 2016

A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks.
CoRR, 2016

Reinforcement Learning With Temporal Logic Rewards.
CoRR, 2016

A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks.
CoRR, 2016

Robotic Swarm Control from Spatio-Temporal Specifications.
CoRR, 2016

Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications.
CoRR, 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 GPS-Deprived Control with Temporal Logic Constraints.
Proceedings of the International Symposium on Experimental Robotics, 2016

Dynamic routing of energy-aware vehicles with Temporal Logic Constraints.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Least-Violating Planning in Road Networks from Temporal Logic Specifications.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical 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 spatio-temporal specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Pattern synthesis in a 3D agent-based 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

Q-Learning 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 Discrete-Time Stochastic Systems.
IEEE Trans. Automat. Contr., 2015

Temporal logic motion control using actor-critic methods.
I. J. Robotics Res., 2015

Control with Probabilistic Signal Temporal Logic.
CoRR, 2015

Robust Temporal Logic Model Predictive Control.
CoRR, 2015

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning.
CoRR, 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 spatial-temporal 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

Correct-by-construction control synthesis for multi-robot mixing.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Information-guided 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

2014
Language-Guided Controller Synthesis for Linear Systems.
IEEE Trans. Automat. Contr., 2014

Finite Bisimulations for Switched 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 Time-Bounded 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

Control of noisy differential-drive vehicles from time-bounded temporal logic specifications.
I. J. Robotics Res., 2014

Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games.
CoRR, 2014

A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems.
CoRR, 2014

Traffic Network Control from Temporal Logic Specifications.
CoRR, 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 Automata-Theoretic 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 sampling-based 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 cyber-physical 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 Multi-Robot 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

Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
CoRR, 2013

Optimal Control of MDPs with Temporal Logic Constraints
CoRR, 2013

Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints
CoRR, 2013

Sampling-Based Temporal Logic Path Planning.
CoRR, 2013

Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation.
CoRR, 2013

Negotiating the Probabilistic Satisfaction of Temporal Logic Motion Specifications.
CoRR, 2013

Formal analysis of piecewise affine systems through formula-guided 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

Sampling-based 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 multi-agent 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 differential-drive vehicles from time-bounded 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

Data-driven 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 Discrete-Time Piecewise Affine Systems.
IEEE Trans. Automat. Contr., 2012

Control of Noisy Differential-Drive Vehicles from Time-Bounded Temporal Logic Specifications
CoRR, 2012

Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
CoRR, 2012

Finite Bisimulations for Switched Linear Systems
CoRR, 2012

Optimal Multi-Robot Path Planning with LTL Constraints: Guaranteeing Correctness Through Synchronization
CoRR, 2012

Probabilistically Safe Control of Noisy Dubins Vehicles
CoRR, 2012

Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions
CoRR, 2012

Time-Constrained Temporal Logic Control of Multi-Affine Systems
CoRR, 2012

Receding Horizon Temporal Logic Control for Finite Deterministic Systems
CoRR, 2012

Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
CoRR, 2012

Temporal Logic Motion Control using Actor-Critic Methods
CoRR, 2012

Robust Multi-Robot Optimal Path Planning with Temporal Logic Constraints
CoRR, 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 multi-robot optimal path planning with temporal logic constraints.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Temporal logic motion control using actor-critic 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 time-bounded temporal logic specifications in dynamic environments.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Language-guided controller synthesis for discrete-time 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 Multi-Robot 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

Multi-agent 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

2011
Optimal path planning for surveillance with temporal-logic constraints.
I. J. Robotics Res., 2011

A Formal Verification Approach to the Design of Synthetic Gene Networks
CoRR, 2011

Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications
CoRR, 2011

Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control
CoRR, 2011

Multi-robot Deployment From LTL Specifications with Reduced Communication
CoRR, 2011

Optimal Multi-Robot Path Planning with Temporal Logic Constraints
CoRR, 2011

LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
CoRR, 2011

MDP Optimal Control under Temporal Logic Constraints
CoRR, 2011

Probabilistically Safe Vehicle Control in a Hostile Environment
CoRR, 2011

Optimal multi-robot 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 Cyber-Physical 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 large-scale 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

Multi-robot 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 actor-critic 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 Discrete-Time Piecewise Affine Systems.
IEEE Trans. Automat. Contr., 2010

Optimal Path Planning under Temporal Logic Constraints
CoRR, 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

IN-HAPTICS: Interactive navigation using haptics.
Proceedings of the 2010 IEEE Haptics Symposium, 2010

A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment.
Proceedings of the Distributed Autonomous Robotic Systems, 2010

Formal analysis of piecewise affine systems through formula-guided 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 Urban-Like Environment (RULE).
Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Temporal logic control of discrete-time 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 high-order 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 non-determinism 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 Multi-affine 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 genome-scale analysis of Escherichia coli production capabilities.
Bioinformatics, 2005

2004
Abstraction and control for Groups of robots.
IEEE Trans. Robotics, 2004

Hybrid control for visibility-based pursuit-evasion 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 fully-actuated planar robots.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2002
An SVD-based 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


  Loading...