Stochastic modeling, control, and verification of wild bodies

Daniel Erik Gierl, Leonardo Bobadilla, Oscar Sanchez, Steven M Lavalle

Research output: Contribution to journalConference article

Abstract

This paper presents strategies for controlling the distribution of large numbers of minimalist robots (ones containing no sensors or computers). The strategies are implemented by varying area, speed, gate length, or gate configuration in environments composed of regions connected by gates and modelled by Continuous Time Markov chains. We demonstrate the effectiveness and practical feasibility of our strategies through physical experiments and simulation. We use Continuous Stochastic Logic to verify high level properties of our system and to evaluate the accuracy of our model. Also, we prove that our model is accurate and that our algorithms are efficient with respect to the number of regions and number of bodies.

Original languageEnglish (US)
Article number6906909
Pages (from-to)549-556
Number of pages8
JournalProceedings - IEEE International Conference on Robotics and Automation
DOIs
StatePublished - Sep 22 2014
Event2014 IEEE International Conference on Robotics and Automation, ICRA 2014 - Hong Kong, China
Duration: May 31 2014Jun 7 2014

Fingerprint

Markov processes
Robots
Sensors
Experiments

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Artificial Intelligence
  • Electrical and Electronic Engineering

Cite this

Stochastic modeling, control, and verification of wild bodies. / Gierl, Daniel Erik; Bobadilla, Leonardo; Sanchez, Oscar; Lavalle, Steven M.

In: Proceedings - IEEE International Conference on Robotics and Automation, 22.09.2014, p. 549-556.

Research output: Contribution to journalConference article

@article{02b8494686f84c298f668300c4fbbf70,
title = "Stochastic modeling, control, and verification of wild bodies",
abstract = "This paper presents strategies for controlling the distribution of large numbers of minimalist robots (ones containing no sensors or computers). The strategies are implemented by varying area, speed, gate length, or gate configuration in environments composed of regions connected by gates and modelled by Continuous Time Markov chains. We demonstrate the effectiveness and practical feasibility of our strategies through physical experiments and simulation. We use Continuous Stochastic Logic to verify high level properties of our system and to evaluate the accuracy of our model. Also, we prove that our model is accurate and that our algorithms are efficient with respect to the number of regions and number of bodies.",
author = "Gierl, {Daniel Erik} and Leonardo Bobadilla and Oscar Sanchez and Lavalle, {Steven M}",
year = "2014",
month = "9",
day = "22",
doi = "10.1109/ICRA.2014.6906909",
language = "English (US)",
pages = "549--556",
journal = "Proceedings - IEEE International Conference on Robotics and Automation",
issn = "1050-4729",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Stochastic modeling, control, and verification of wild bodies

AU - Gierl, Daniel Erik

AU - Bobadilla, Leonardo

AU - Sanchez, Oscar

AU - Lavalle, Steven M

PY - 2014/9/22

Y1 - 2014/9/22

N2 - This paper presents strategies for controlling the distribution of large numbers of minimalist robots (ones containing no sensors or computers). The strategies are implemented by varying area, speed, gate length, or gate configuration in environments composed of regions connected by gates and modelled by Continuous Time Markov chains. We demonstrate the effectiveness and practical feasibility of our strategies through physical experiments and simulation. We use Continuous Stochastic Logic to verify high level properties of our system and to evaluate the accuracy of our model. Also, we prove that our model is accurate and that our algorithms are efficient with respect to the number of regions and number of bodies.

AB - This paper presents strategies for controlling the distribution of large numbers of minimalist robots (ones containing no sensors or computers). The strategies are implemented by varying area, speed, gate length, or gate configuration in environments composed of regions connected by gates and modelled by Continuous Time Markov chains. We demonstrate the effectiveness and practical feasibility of our strategies through physical experiments and simulation. We use Continuous Stochastic Logic to verify high level properties of our system and to evaluate the accuracy of our model. Also, we prove that our model is accurate and that our algorithms are efficient with respect to the number of regions and number of bodies.

UR - http://www.scopus.com/inward/record.url?scp=84929192813&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84929192813&partnerID=8YFLogxK

U2 - 10.1109/ICRA.2014.6906909

DO - 10.1109/ICRA.2014.6906909

M3 - Conference article

AN - SCOPUS:84929192813

SP - 549

EP - 556

JO - Proceedings - IEEE International Conference on Robotics and Automation

JF - Proceedings - IEEE International Conference on Robotics and Automation

SN - 1050-4729

M1 - 6906909

ER -