scientific article; zbMATH DE number 1444367

MaRDI QIDQ4953410zbMATH OpenFDO

Authors Omid Shakernia, George Pappas, S. Shankar Sastry

Publication date 9 May 2000

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
• scientific article; zbMATH DE number 1303074 (Why is no real title available?)
• 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:

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