Synthesis of Switching Controllers for Linear Hybrid Systems

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Unknown venue

• Publication date

  2011-11-30

• Fields of study

  Mathematics, Computer Science, Engineering

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Reachability games for linear hybrid systems

  2012cited by this paper
• Handbook of Hybrid Systems Control: Theory, Tools, Applications

  2011cited by this paper
• Towards Efficient Exact Synthesis for Linear Hybrid Systems

  2011cited by this paper
• Safety verification of hybrid systems by constraint propagation-based abstraction refinement

  2007cited by this paper
• Omega-Regular Half-Positional Winning Conditions

  2007cited by this paper
• Guided Controller Synthesis for Climate Controller Using Uppaal Tiga

  2007cited by this paper
• Weighted Timed Automata : Model-Checking and Games

  2006cited by this paper
• UPPAAL-Tiga: Timed Games for Everyone

  2006cited by this paper
• Almost Optimal Strategies in One Clock Priced Timed Games

  2006cited 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
• Languages and Tools for Hybrid Systems Design

  2006cited by this paper
• Ariadne: a framework for reachability analysis of hybrid automata

  2006cited by this paper
• Efficient On-the-Fly Algorithms for the Analysis of Timed Games

  2005cited by this paper
• Games Where You Can Play Optimally Without Any Memory

  2005cited by this paper
• PHAVer: algorithmic verification of hybrid systems past HyTech

  2005cited by this paper
• Optimal Reachability for Weighted Timed Games

  2004cited by this paper
• Controller synthesis for hybrid systems with a lower bound on event separation

  2003cited by this paper
• The Element of Surprise in Timed Games

  2003cited by this paper
• The d/dt Tool for Verification of Hybrid Systems

  2002cited by this paper
• Control from computer science

  2001cited by this paper
• Modifying HYTECH to automatically synthesize hybrid controllers

  2001cited by this paper
• Infinite Games

  2001cited by this paper
• Effective synthesis of switching controllers for linear systems

  2000cited by this paper
• Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

  2000cited by this paper
• A game theoretic approach to controller design for hybrid systems

  2000cited by this paper
• MAXIMUM PRINCIPLE FOR A HYBRID SYSTEM VIA SINGULAR PERTURBATIONS∗

  1999cited by this paper
• Dynamic noncooperative game theory. 2nd ed. (Classics in applied mathematics 23)

  1999cited by this paper
• Rectangular Hybrid Games

  1999cited by this paper
• As Soon as Possible: Time Optimal Control for Timed Automata

  1999cited by this paper
• On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems

  1999cited by this paper
• Kronos: A Model-Checking Tool for Real-Time Systems

  1998cited by this paper
• A unified framework for hybrid control: model and optimal control theory

  1998cited by this paper
• Hierarchically consistent control systems

  1998cited by this paper
• L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice)

  1998cited by this paper
• AN OPTIMAL CONTROL THEORY FOR DISCRETE EVENT SYSTEMS

  1998cited by this paper
• Hierarchical hybrid control systems: a lattice theoretic formulation

  1998cited by this paper
• Alternating-time temporal logic

  1997cited by this paper
• The synthesis of controllers for linear hybrid automata

  1997cited by this paper
• Verification of Real-Time Systems using Linear Relation Analysis

  1997cited by this paper
• How much memory is needed to win infinite games?

  1997cited by this paper
• Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints

  1997cited by this paper
• The Tool KRONOS

  1996cited by this paper
• Automatic Symbolic Verification of Embedded Systems

  1996cited by this paper
• Analysis of Timed Systems Based on Time-Abstracting Bisimulation

  1996cited by this paper
• The symbolic model-checking for real-time systems

  1996cited by this paper
• The theory of hybrid automata

  1996cited by this paper
• On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

  1995cited by this paper
• HYTECH: the next generation

  1995cited by this paper
• On the Synthesis of Strategies in Infinite Games

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

  1995cited by this paper
• H1-Optimal Control and Related Minimax Design Problems

  1995cited by this paper
• A Course in Game Theory

  1995cited by this paper
• A Course in Game Theory

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

  1994cited by this paper
• Control of Infinite Behavior of Finite Automata

  1994cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• Model-Checking in Dense Real-time

  1993cited by this paper
• A Note on Chernikova's algorithm

  1992cited by this paper
• Multiple Agent Hybrid Control Architecture

  1992cited by this paper
• Minimal State Graph Generation

  1992cited by this paper
• Symbolic Synthesis of Supervisory Controllers

  1992cited by this paper
• Concurrent Programs as Strategies in Games

  1992cited by this paper
• The input-output control of real-time discrete event systems

  1992cited by this paper
• Tree automata, mu-calculus and determinacy

  1991cited by this paper
• Stepwise Refinement of Action Systems

  1989cited by this paper
• On the synthesis of a reactive module

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

  1987cited by this paper
• Theory of linear and integer programming

  1986cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986cited by this paper
• Trees, automata, and games

  1982cited by this paper
• Automata on Infinite Objects and Church's Problem

  1972cited by this paper
• Solving sequential conditions by finite-state strategies

  1969cited by this paper
• Algorithm for discovering the set of all the solutions of a linear programming problem

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

  1962cited by this paper
• Games Against Nature

  1951cited by this paper
• Theory of Games and Economic Behavior

  1946cited by this paper

• Automatic Synthesis of Switching Controllers for Linear Hybrid Systems

  2017cites this paper
• Tracking smooth trajectories in linear hybrid systems

  2017cites this paper
• Linearizing Discrete-Time Hybrid Systems

  2017cites this paper
• Deadness and how to disprove liveness in hybrid dynamical systems

  2016cites this paper
• Tracking differentiable trajectories across polyhedra boundaries

  2013cites this paper
• On-the-Fly Control Software Synthesis

  2013cites this paper
• Reachability games for linear hybrid systems

  2012influential citation
• Automatic control software synthesis for quantized discrete time hybrid systems

  2012cites this paper
• Model-based synthesis of control software from system-level formal specifications

  2011cites this paper