Decidable controller synthesis for classes of linear systems

DOI10.1007/3-540-46430-1_34MaRDI QIDQ4953410zbMATH OpenFDO

Authors Omid Shakernia, George Pappas, S. Shankar Sastry

Publication date 9 May 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46430-1_34

zbMATH Keywords

controller synthesisdecidabilitygame theoryhybrid systemsleast restrictive controllersoptimal controlreachability specifications

Mathematics Subject Classification ID

Differential games and control (49N70) Attainable sets, reachability (93B03) Synthesis problems (93B50) Linear systems in control theory (93C05) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• scientific article; zbMATH DE number 1794387
• Controllers for reachability specifications for hybrid systems
• Reachability games for linear hybrid systems
• scientific article; zbMATH DE number 1956650

Cited in

(14)

• Constructive hybrid games
• Supervisory control of hybrid systems based on model abstraction and guided search
• Stability analysis of piecewise-affine systems using controlled invariant sets
• Theorem of abstraction for equivalent controllers in hybrid systems
• Undecidability of quantized state feedback control for discrete time linear hybrid systems
• Computing controllers for nonlinear hybrid systems
• scientific article; zbMATH DE number 1956650 (Why is no real title available?)
• scientific article; zbMATH DE number 1794387 (Why is no real title available?)
• A computational approach to synthesizing guards for hybrid systems
• Towards efficient exact synthesis for linear hybrid systems
• A MIXED INTEGER DYNAMIC PROGRAMMING APPROACH TO A CLASS OF OPTIMAL CONTROL PROBLEMS IN HYBRID SYSTEMS
• Time-optimal control for discrete-time hybrid automata
• Optimal paths in weighted timed automata
• Controller synthesis made real: reach-avoid specifications and linear dynamics

Describes a project that uses

Uses Software

• REDLOG
• QEPCAD

This page was built for publication: Decidable controller synthesis for classes of linear systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953410)