About: Minimum-violation LTL Planning with Conflicting Specifications

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Minimum-violation LTL Planning with Conflicting Specifications Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	We consider the problem of automatic generation of control strategies for robotic vehicles given a set of high-level mission specifications, such as %22Vehicle x must eventually visit a target region and then return to a base,%22 %22Regions A and B must be periodically surveyed,%22 or %22 None of the vehicles can enter an unsafe region.%22 We focus on instances when all of the given specifications cannot be reached simultaneously due to their incompatibility and/or environmental constraints. We aim to find the least-violating control strategy while considering different priorities of satisfying different parts of the mission. Formally, we consider the missions given in the form of linear temporal logic formulas, each of which is assigned a reward that is earned when the formula is satisfied. Leveraging ideas from the automata-based model checking, we propose an algorithm for finding an optimal control strategy that maximizes the sum of rewards earned if this control strategy is applied. We consider the problem of automatic generation of control strategies for robotic vehicles given a set of high-level mission specifications, such as %22Vehicle x must eventually visit a target region and then return to a base,%22 %22Regions A and B must be periodically surveyed,%22 or %22 None of the vehicles can enter an unsafe region.%22 We focus on instances when all of the given specifications cannot be reached simultaneously due to their incompatibility and/or environmental constraints. We aim to find the least-violating control strategy while considering different priorities of satisfying different parts of the mission. Formally, we consider the missions given in the form of linear temporal logic formulas, each of which is assigned a reward that is earned when the formula is satisfied. Leveraging ideas from the automata-based model checking, we propose an algorithm for finding an optimal control strategy that maximizes the sum of rewards earned if this control strategy is applied. (en)
Title	Minimum-violation LTL Planning with Conflicting Specifications Minimum-violation LTL Planning with Conflicting Specifications (en)
skos:prefLabel	Minimum-violation LTL Planning with Conflicting Specifications Minimum-violation LTL Planning with Conflicting Specifications (en)
skos:notation	RIV/00216224:14330/13:00066721!RIV14-MSM-14330___
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GAP202/11/0312), P(LH11065)
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Tůmová, Jana
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	88482
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/13:00066721
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	formal methods; robotics; linear temporal logic; control strategy synthesis (en)
http://linked.open.../riv/klicoveSlovo	formal methods robotics control strategy synthesis linear temporal logic
http://linked.open...ontrolniKodProRIV	[CC8653041703]
http://linked.open...v/mistoKonaniAkce	Washington, DC
http://linked.open...i/riv/mistoVydani	New York, (NY, USA)
http://linked.open...i/riv/nazevZdroje	Proceedings of the American Control Conference
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Control Synthesis and Formal Verification of Complex Hybrid Systems Software Components in Embedded Systems: Development and Verification
http://linked.open...UplatneniVysledku	2013
http://linked.open...iv/tvurceVysledku	Rus, Daniela Tůmová, Jana Frazzoli, Emilio Karaman, Sertac Reyes Castro, Luis
http://linked.open...vavai/riv/typAkce	CST - Celostátní
http://linked.open...ain/vavai/riv/wos	000327210200034
http://linked.open.../riv/zahajeniAkce	2013-01-01 (xsd:date)
issn	0743-1619
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	IEEE
https://schema.org/isbn	9781479901777
http://localhost/t...ganizacniJednotka	14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software