Optimal control with regular objectives using an abstraction-refinement approach

No abstract is available for this paper.

• Publication year

  2015

• Venue

  American Control Conference

• Publication date

  2015-04-11

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers
  DOI 10.1109/ACC.2016.7526478
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Optimal control with regular objectives using an abstraction-refinement approach

  2016cited by this paper
• Temporal logic model predictive control

  2015cited by this paper
• Optimal Control of Switched Hybrid Systems: A Brief Survey

  2013cited by this paper
• Guaranteeing reactive high-level behaviors for robots with complex dynamics

  2013cited by this paper
• Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic

  2013cited by this paper
• Synthesis of Reactive Switching Protocols From Temporal Logic Specifications

  2013cited by this paper
• Abstraction-based solution of optimal stopping problems under uncertainty

  2013cited by this paper
• Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis

  2012cited by this paper
• Receding Horizon Temporal Logic Planning

  2012cited by this paper
• Temporal Logic Control of Discrete-Time Piecewise Affine Systems

  2012cited by this paper
• Specifications for decidable hybrid games

  2011cited by this paper
• Symbolic approximate time-optimal control

  2010cited by this paper
• Controller synthesis for safety and reachability via approximate bisimulation

  2010cited by this paper
• Efficient suboptimal solutions of switched LQR problems

  2009cited by this paper
• O-Minimal Hybrid Reachability Games

  2009cited by this paper
• Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications

  2008cited by this paper
• Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic

  2008cited by this paper
• Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata!

  2007cited by this paper
• Temporal Logic Planning and Control of Robotic Swarms by Hierarchical Abstractions

  2007cited by this paper
• The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

  2006cited by this paper
• A Course in Robust Control Theory: A Convex Approach

  2005cited by this paper
• Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints

  2005cited by this paper
• ON A ROUTING PROBLEM

  2004cited by this paper
• LQR optimization of linear system switching

  2002cited by this paper
• Optimal Paths in Weighted Timed Automata

  2001cited by this paper
• Piecewise linear optimal controllers for hybrid systems

  2000cited by this paper
• Rectangular Hybrid Games

  1999cited by this paper
• Alternating Refinement Relations

  1998cited by this paper
• Discrete approximation and supervisory control of continuous systems

  1998cited by this paper
• Piecewise linear quadratic optimal control

  1997cited by this paper
• What's decidable about hybrid automata?

  1995cited by this paper
• Symbolic Controller Synthesis for Discrete and Timed Systems

  1994cited by this paper
• Supervisory control of a class of discrete event processes

  1987cited by this paper
• An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

  1986cited by this paper
• Synthesis of Communicating Processes from Temporal Logic Specifications

  1981cited by this paper
• Logic, arithmetic, and automata

  1962cited by this paper

• Optimal Path Planning for ω-regular Objectives with Abstraction-Refinement

  2019cites this paper
• Optimal Controller Synthesis for Nonlinear Systems

  2018cites this paper
• Symbolic Optimal Control

  2017influential citation
• Optimal Control Synthesis for ω-regular Objectives with Abstraction-Refinement

  2017cites this paper
• Abstraction-Refinement Based Optimal Control with Regular Objectives

  2015cites this paper