NDLI: Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations

Content Provider	IEEE Xplore Digital Library
Author	Jie Fu Topcu, U.
Copyright Year	2015
Description	Author affiliation: Dept. of Electr. & Syst. Eng., Univ. of Pennsylvania, Philadelphia, PA, USA (Jie Fu; Topcu, U.)
Abstract	We introduce the notion of online reactive planning with sensing actions for systems with temporal logic constraints in partially observable and dynamic environments. With incomplete information on the dynamic environment, reactive controller synthesis amounts to solving a two-player game with partial observations, which has impractically computational complexity. To alleviate the high computational burden, online replanning via sensing actions avoids solving the strategy in the reactive system under partial observations. Instead, we only solve for a strategy that ensures a given temporal logic specification can be satisfied had the system have complete observations of its environment. Such a strategy is then transformed into one which makes control decisions based on the observed sequence of states (of the interacting system and its environment). When the system encounters a belief-a set including all possible hypotheses the system has for the current state-for which the observation-based strategy is undefined, a sequence of sensing actions are triggered, chosen by an active sensing strategy, to reduce the uncertainty in the system's belief. We show that by alternating between the observation-based strategy and the active sensing strategy, under a mild technical assumption of the set of sensors in the system, the given temporal logic specification can be satisfied with probability 1.
Starting Page	2408
Ending Page	2413
File Size	300353
Page Count	6
File Format	PDF
e-ISBN	9781479986842
DOI	10.1109/ACC.2015.7171093
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-07-01
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	American Automatic Control Council(AACC)
Subject Keyword	Games Robot sensing systems Planning Uncertainty Complexity theory Temporal logic Reactive synthesis Active sensing Partial observation
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

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations

Information-guided persistent monitoring under temporal logic constraints

Reactive sampling-based temporal logic path planning

Planning robot motion strategies under geometric uncertainty constraints

Discovering task constraints through observation and active learning

LTLMoP: Experimenting with language, Temporal Logic and robot control

Attraction-based receding horizon path planning with temporal logic constraints

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

Integrating a geometric-primitive map into a multiresolution motion planning approach

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations

Similar Documents

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations

Information-guided persistent monitoring under temporal logic constraints

Reactive sampling-based temporal logic path planning

Planning robot motion strategies under geometric uncertainty constraints

Discovering task constraints through observation and active learning

LTLMoP: Experimenting with language, Temporal Logic and robot control

Attraction-based receding horizon path planning with temporal logic constraints

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

Integrating a geometric-primitive map into a multiresolution motion planning approach

Integrating active sensing into reactive synthesis with temporal logic constraints under partial observations