scientific article; zbMATH DE number 1303068

MaRDI QIDQ4249570zbMATH OpenFDO

Authors Man Lin

Publication date 15 February 2001

zbMATH Keywords

hybrid automatahybrid controllerhybrid systemrailway crossing systemsoftware

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to systems and control theory (93-04) Synthesis problems (93B50) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Formal controller synthesis from hybrid programs
• Controllers for reachability specifications for hybrid systems
• scientific article; zbMATH DE number 1301611
• Synthesis and viability of minimally interventive legal controllers for hybrid systems

Cited in

(6)

• Synthesis and viability of minimally interventive legal controllers for hybrid systems
• Hybrid systems tools for compiling controllers for cyber-physical systems
• scientific article; zbMATH DE number 1956553 (Why is no real title available?)
• scientific article; zbMATH DE number 2079814 (Why is no real title available?)
• Formal controller synthesis from hybrid programs
• On the design of hybrid control systems using automata models

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 Q4249570)