Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions

Marius Kloetzer; Calin Belta

doi:10.1109/tro.2006.889492

Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions

IEEE Transactions on Robotics ◽

10.1109/tro.2006.889492 ◽

2007 ◽

Vol 23 (2) ◽

pp. 320-330 ◽

Cited By ~ 70

Author(s):

Marius Kloetzer ◽

Calin Belta

Keyword(s):

Temporal Logic ◽

Planning And Control ◽

Robotic Swarms ◽

And Control

Efficient Automata-based Planning and Control under Spatio-Temporal Logic Specifications

2020 American Control Conference (ACC) ◽

10.23919/acc45564.2020.9147796 ◽

2020 ◽

Author(s):

Lars Lindemann ◽

Dimos V. Dimarogonas

Keyword(s):

Temporal Logic ◽

Planning And Control ◽

Spatio Temporal ◽

And Control

Temporal Logic Motion Planning and Control With Probabilistic Satisfaction Guarantees

IEEE Transactions on Robotics ◽

10.1109/tro.2011.2172150 ◽

2012 ◽

Vol 28 (2) ◽

pp. 396-409 ◽

Cited By ~ 60

Author(s):

Morteza Lahijanian ◽

Sean B. Andersson ◽

Calin Belta

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Planning And Control ◽

And Control

Abstractions for Planning and Control of Robotic Swarms

Bio-Inspired Computing and Networking ◽

10.1201/b10781-16 ◽

2016 ◽

pp. 243-260 ◽

Cited By ~ 2

Keyword(s):

Planning And Control ◽

Robotic Swarms ◽

And Control

Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees

2010 IEEE International Conference on Robotics and Automation ◽

10.1109/robot.2010.5509686 ◽

2010 ◽

Cited By ~ 41

Author(s):

M Lahijanian ◽

J Wasniewski ◽

S B Andersson ◽

C Belta

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Planning And Control ◽

And Control

Temporal Logic Guided Locomotion Planning and Control in Cluttered Environments

2020 American Control Conference (ACC) ◽

10.23919/acc45564.2020.9147621 ◽

2020 ◽

Author(s):

Sutej Kulgod ◽

Wentao Chen ◽

Junda Huang ◽

Ye Zhao ◽

Nikolay Atanasov

Keyword(s):

Temporal Logic ◽

Cluttered Environments ◽

Planning And Control ◽

And Control

Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications

IEEE Access ◽

10.1109/access.2019.2949426 ◽

2019 ◽

Vol 7 ◽

pp. 155941-155950 ◽

Cited By ~ 2

Author(s):

Baris Baspinar ◽

Hamsa Balakrishnan ◽

Emre Koyuncu

Keyword(s):

Temporal Logic ◽

Mission Planning ◽

Aircraft Systems ◽

Planning And Control ◽

And Control

Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications

2019 18th European Control Conference (ECC) ◽

10.23919/ecc.2019.8795925 ◽

2019 ◽

Cited By ~ 2

Author(s):

Fernando S. Barbosa ◽

Lars Lindemann ◽

Dimos V. Dimarogonas ◽

Jana Tumova

Keyword(s):

Motion Planning ◽

Temporal Logic ◽

Planning And Control ◽

Interval Temporal Logic ◽

And Control

A ROS Package for Human-In-the-Loop Planning and Control under Linear Temporal Logic Tasks

10.1109/case49439.2021.9551648 ◽

2021 ◽

Author(s):

Robin Baran ◽

Xiao Tan ◽

Peter Varnai ◽

Pian Yu ◽

Sofie Ahlberg ◽

...

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Human In The Loop ◽

Planning And Control ◽

And Control

1/f Noise and movement constraints in the planning and control of aiming

PsycEXTRA Dataset ◽

10.1037/e429042008-001 ◽

2008 ◽

Keyword(s):

Planning And Control ◽

And Control

PLANNING TO MEET THE GROWING DEMANDS ON NORTHLANDS WATER RESOURCES

Proceedings of the New Zealand Grassland Association ◽

10.33584/jnzg.1986.47.1761 ◽

1986 ◽

pp. 33-42

Author(s):

D.L. Roke

Keyword(s):

Industrial Development ◽

Water Resource Management ◽

Limited Resources ◽

Careful Planning ◽

Management Planning ◽

Planning And Control ◽

Sources Of Pollution ◽

And Control ◽

Resource Management Planning ◽

Pastoral Farming

The growth in horticultural and some industrial development in selected areas of Northland has led to a need for more specific and careful planning and control of limited resources in a number of major catchments. The potential irrigation demands for horhculture comprise over 60% of Northland's potential water requirements. By contrast, farm water supply needs are only 11% of these needs. Because of their importance to the Northland economy, and in the legislation these needs are given a high priority in water resource management planning. Land uses, including pastoral farming, require careful operation to reduce diffuse sources of pollution.