NDLI: Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

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

A Decision Tree Approach to Data Classification using Signal Temporal Logic

Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints

Case Studies in Data-Driven Verification of Dynamical Systems

Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software

Adaptive Decentralized MAC for Event-Triggered Networked Control Systems

Control Synthesis for Large Collections of Systems with Mode-Counting Constraints

Optimal Co-Design of Scheduling and Control for Networked Systems

Entropy and Minimal Data Rates for State Estimation and Model Detection

Computing Distances between Reach Flowpipes

Temporal Logic as Filtering

Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques

Towards Model Checking of Implantable Cardioverter Defibrillators

Verification and Synthesis of Timing Contracts for Embedded Controllers

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems

Event-Separation Properties and Asymptotic Behaviour of Hybrid Event-Based Control Systems

Compositional Synthesis with Parametric Reactive Controllers

Safety Verification of Piecewise-Deterministic Markov Processes

Reachset Conformance Testing of Hybrid Automata

Directed Specifications and Assumption Mining for Monotone Dynamical Systems

A Topological Method for Finding Invariant Sets of Switched Systems

SL2SX Translator: From Simulink to SpaceEx Models

Formal Analysis of Robustness at Model and Code Level

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

From Simulation Models to Hybrid Automata Using Urgency and Relaxation

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications

Hybridization for Stability Analysis of Switched Linear Systems

SCOTS: A Tool for the Synthesis of Symbolic Controllers

Building Power Consumption Models from Executable Timed I/O Automata Specifications

Robust Asymptotic Stabilization of Hybrid Systems using Control Lyapunov Functions

Parallelotope Bundles for Polynomial Reachability

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

Content Provider	ACM Digital Library
Author	DeCastro, Jonathan A. Kress-Gazit, Hadas
Abstract	Motivated by the provably-correct execution of complex reactive tasks for robots with nonlinear, under-actuated dynamics, our focus is on the synthesis of a library of low-level controllers that implements the behaviors of a high-level controller. The synthesized controllers should allow the robot to react to its environment whenever dynamically feasible given the geometry of the workspace. For any behaviors that cannot guarantee the task given the dynamics, such behaviors should be transformed into dynamically-informative revisions to the high-level task. We therefore propose a framework for synthesizing such low-level controllers and, moreover, offer an approach for re-partitioning and abstracting the system based on the synthesized controller library. We accomplish these goals by introducing a synthesis approach that we call conforming funnels, in which controllers are synthesized with respect to the given high-level behaviors, the geometrical constraints of the workspace, and a robot dynamics model. Our approach computes controllers using a verification approach that optimizes over a wide range of possible controllers to guarantee the geometrical constraints are satisfied. We also devise an algorithm that uses the controllers to re-partition the workspace and automatically adapt the high-level specification with a new discrete abstraction generated on these new partitions. We demonstrate the controllers generated by our synthesis framework in an experimental setting with a KUKA youBot executing a box transportation task.
Starting Page	225
Ending Page	234
Page Count	10
File Format	PDF
ISBN	9781450339551
DOI	10.1145/2883817.2883832
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-04-11
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Motion planning Barrier certificates Controller synthesis Verification Nonlinear 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

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning

Motion planning for nonlinear systems using hybridizations and robust controllers on simplices

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

Compositional Synthesis with Parametric Reactive Controllers

Neuro-fuzzy controller for helicopter motion control

Model-Based Verification for Automatic Synthesis of Real-Time Controllers (2001)

Temporal-Logic-Based Reactive Mission and Motion Planning

Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates (2012)

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors

Similar Documents

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning

Motion planning for nonlinear systems using hybridizations and robust controllers on simplices

Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

Compositional Synthesis with Parametric Reactive Controllers

Neuro-fuzzy controller for helicopter motion control

Model-Based Verification for Automatic Synthesis of Real-Time Controllers (2001)

Temporal-Logic-Based Reactive Mission and Motion Planning

Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates (2012)

Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors