#### Filter Results:

- Full text PDF available (62)

#### Publication Year

2000

2019

- This year (13)
- Last 5 years (94)
- Last 10 years (178)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Marius Kloetzer, Calin Belta
- IEEE Transactions on Automatic Control
- 2008

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â€¦ (More)

- Calin Belta, Vijay R. Kumar
- IEEE Transactions on Robotics
- 2004

This paper addresses the general problem of controlling a large number of robots required to move as a group. We propose an abstraction based on the definition of a map from the configuration space Qâ€¦ (More)

- GrÃ©gory Batt, Boyan Yordanov, Ron Weiss, Calin Belta
- Bioinformatics
- 2007

MOTIVATION
The goal of synthetic biology is to design and construct biological systems that present a desired behavior. The construction of synthetic gene networks implementing simple functions hasâ€¦ (More)

- Calin Belta, Volkan Isler, George J. Pappas
- IEEE Transactions on Robotics
- 2005

In this paper, we present a computational framework for automatic generation of provably correct control laws for planar robots in polygonal environments. Using polygon triangulation and discreteâ€¦ (More)

- Marius Kloetzer, Calin Belta
- HSCC
- 2006

We consider the following problem: given a linear system and an LTLâˆ’X formula over a set of linear predicates in its state variables, find a feedback control law with polyhedral bounds and a set ofâ€¦ (More)

- Xu Chu Ding, Stephen L. Smith, Calin Belta, Daniela Rus
- ArXiv
- 2011

We present a method to generate a robot control strategy that maximizes the probability to accomplish a task. The task is given as a Linear Temporal Logic (LTL) formula over a set of properties thatâ€¦ (More)

- Stephen L. Smith, Jana Tumova, Calin Belta, Daniela Rus
- I. J. Robotics Res.
- 2011

In this paper we present a method for automatically generating optimal robot paths satisfying high level mission specifications. The motion of the robot in the environment is modeled as a weightedâ€¦ (More)

- Boyan Yordanov, Calin Belta
- Proceedings of the 48h IEEE Conference onâ€¦
- 2009

We consider the problem of controlling a discrete-time piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predicates in its state variables.â€¦ (More)

- Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Calin Belta, Daniela Rus
- I. J. Robotics Res.
- 2013

In this paper we present a method for automatic planning of optimal paths for a group of robots that satisfy a common high level mission specification. The motion of each robot is modeled as aâ€¦ (More)

- Calin Belta, Antonio Bicchi, Magnus Egerstedt, Emilio Frazzoli, Eric Klavins, George J. Pappas
- IEEE Robotics & Automation Magazine
- 2007

In this paper, different research trends that use symbolic techniques for robot motion planning and control are illustrated. As it often happens in new research areas, contributions to this topicâ€¦ (More)