NDLI: Sampling-based control synthesis for multi-robot systems under global temporal specifications

Please wait, while we are loading the content...

Sampling-based control synthesis for multi-robot systems under global temporal specifications

Battery state-of-health estimation for mobile devices

A physiology-aware communication architecture for distributed emergency medical CPS

Constructing compact causal mathematical models for complex dynamics

VirtualDrone: virtual sensing, actuation, and communication for attack-resilient unmanned aerial systems

Privacy-enhanced architecture for occupancy-based HVAC Control

A merging protocol for self-driving vehicles

Data-driven distributionally robust vehicle balancing using dynamic region partitions

Formal synthesis of distributed optimal traffic control policies

SunShade: enabling software-defined solar-powered systems

Cybermanufacturing in the shared economy

Analyzing neighborhoods of falsifying traces in cyber-physical systems

Resilient linear classification: an approach to deal with attacks on training data

A submodular optimization approach to controlled islanding under cascading failure

GreenDrive: a smartphone-based intelligent speed adaptation system with real-time traffic signal prediction

Markov decision process routing games

Multi-objective optimal control with safety as a priority

Distributed placement of power generation resources in uncertain environments

Diagnostics and prognostics using temporal causal models for cyber physical energy systems

Abstraction based reachability analysis for finite branching stochastic hybrid systems

Resilient sensor placement for fault localization in water distribution networks

Application and system-level software fault tolerance through full system restarts

DRONA: a framework for safe distributed mobile robotics

QuActive: a quality of activities monitoring and notification system

Enhancing tolerance to unexpected jumps in GR(1) games

Towards a framework for comprehensive and systematic reliability evaluation of building management systems

A Gaussian process regression approach to model aircraft engine fuel flow rate

Hardware module-based message authentication in intra-vehicle networks

Provably-correct coordination of large collections of agents with counting temporal logic constraints

Personalization without user interruption: boosting activity recognition in new subjects using unlabeled data

Transactive energy demo with RIAPS platform

Platform for security-aware design of human-on-the-loop cyber-physical systems

Sampling-based control synthesis for multi-robot systems under global temporal specifications

Content Provider	ACM Digital Library
Author	Kantaros, Yiannis Zavlanos, Michael M.
Abstract	This paper proposes a sampling-based algorithm for multi-robot control synthesis under global Linear Temporal Logic (LTL) formulas. Robot mobility is captured by transition systems whose states represent regions in the environment that satisfy atomic propositions. Existing planning approaches under global temporal goals rely on graph search techniques applied to a synchronous product automaton constructed among the robots. As the number of robots increases, the state-space of the product automaton grows exponentially and, as a result, graph search techniques become intractable. In this paper, we propose a new sampling-based algorithm that builds incrementally a directed tree that approximates the state-space and transitions of the synchronous product automaton. By approximating the product automaton by a tree rather than representing it explicitly, we require much fewer resources to store it and motion plans can be found by tracing the sequence of parent nodes from the leaves back to the root without the need for sophisticated graph search techniques. This significantly increases scalability of our algorithm compared to existing model-checking methods. We also show that our algorithm is probabilistically complete and asymptotically optimal and present numerical experiments that show that it can be used to model-check product automata with billions of states, which was not possible using an off-the-shelf model checker.
Starting Page	3
Ending Page	13
Page Count	11
File Format	PDF
ISBN	9781450349659
DOI	10.1145/3055004.3055027
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2017-04-18
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Motion planning Control synthesis Linear temporal logic Multi-agent systems
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Motion Planning of Multi-Agent Systems under Temporal Logic Specifications

Revising motion planning under Linear Temporal Logic specifications in partially known workspaces

Human-inthe-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

A framework for multi-robot motion planning from temporal logic specifications

Automatic synthesis of multi-agent motion tasks based on LTL specifications

Sampling-based motion planning with deterministic μ-calculus specifications

Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks

Synthesis of output feedback control for motion planning based on LTL specifications

Sampling-based control synthesis for multi-robot systems under global temporal specifications

Similar Documents

Motion Planning of Multi-Agent Systems under Temporal Logic Specifications

Revising motion planning under Linear Temporal Logic specifications in partially known workspaces

Human-inthe-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications

A framework for multi-robot motion planning from temporal logic specifications

Automatic synthesis of multi-agent motion tasks based on LTL specifications

Sampling-based motion planning with deterministic μ-calculus specifications

Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Sampling-Based Optimal Control Synthesis for Multi-Robot Systems under Global Temporal Tasks

Synthesis of output feedback control for motion planning based on LTL specifications

Sampling-based control synthesis for multi-robot systems under global temporal specifications