• Publications
  • Influence
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
  • M. Kloetzer, C. Belta
  • Mathematics, Computer Science
  • IEEE Transactions on Automatic Control
  • 31 March 2008
TLDR
We consider the following problem: given a linear system and a linear temporal logic (LTL) formula over a set of linear predicates in its state variables, find a feedback control law with polyhedral bounds and set of initial states so that all trajectories of the closed loop system satisfy the formula. Expand
  • 449
  • 21
  • PDF
Abstraction and control for Groups of robots
  • C. Belta, V. Kumar
  • Computer Science, Mathematics
  • IEEE Transactions on Robotics
  • 1 October 2004
TLDR
This paper addresses the general problem of controlling a large number of robots required to move as a group. Expand
  • 336
  • 16
  • PDF
Discrete abstractions for robot motion planning and control in polygonal environments
TLDR
In this paper, we present a computational framework for automatic generation of provably correct control laws for planar robots in polygonal environments. Expand
  • 244
  • 14
  • PDF
Symbolic planning and control of robot motion [Grand Challenges of Robotics]
TLDR
This article tries to describe a framework in which many of the current methods and ideas can be placed and to provide a coherent picture of what the authors want to do, what have they got so far, and what the main missing pieces are. Expand
  • 337
  • 12
  • PDF
Robustness analysis and tuning of synthetic gene networks
TLDR
We propose an approach for the analysis of a class of uncertain piecewise-multiaffine differential equation models of gene networks. Expand
  • 143
  • 11
  • PDF
Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints
TLDR
In this paper, we develop a method to automatically generate a control policy for a dynamical system modeled as a Markov Decision Process (MDP), in order to satisfy specifications given as Linear Temporal Logic formulas. Expand
  • 106
  • 10
  • PDF
Optimal path planning for surveillance with temporal-logic constraints*
TLDR
In this paper we present a method for automatically generating optimal robot paths satisfying high-level mission specifications satisfying temporal-logic constraints. Expand
  • 133
  • 10
  • PDF
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
TLDR
We develop an abstraction procedure that maps a discrete-time stochastic system to an Interval-valued Markov Chain ( IMC) and a Bounded-parameter Markov Decision Process ( BMDP) and an efficient refinement algorithm that reduces the uncertainty in the abstraction. Expand
  • 44
  • 9
LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees
TLDR
We present a method to generate a robot control strategy that maximizes the probability to accomplish a task. Expand
  • 73
  • 8
  • PDF
Hybrid Modeling and Simulation of Biomolecular Networks
TLDR
This paper describes a hybrid systems approach to modeling the intra-cellular network using continuous differential equations to model the feedback mechanisms and mode-switching to describe the changes in the underlying dynamics. Expand
  • 209
  • 7
  • PDF