scientific article; zbMATH DE number 1956625

MaRDI QIDQ4417982zbMATH OpenFDO

Authors Ruth Hardy, Richard Boulton, Ursula Martin Webb

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2623/26230113.htm

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Linear Time Logic Control of Discrete-Time Linear Systems
• Methods of continuous logic in control
• Feedback logic for discrete event systems with arbitrary control patterns
• Theorem-proving analysis of digital control logic interacting with continuous dynamics
• A class of single-input single-output systems stabilizable by reduced- order controllers
• A Hoare logic for linear systems
• A homotopy approach for stabilizing single-input systems with control structure constraints
• State and feedback linearizations of single-input control systems
• On differential design of logical control systems
• Algebraic approach for dependable logic control systems design

Cited in

(2)

• From control law diagrams to Ada via \textsf{Circus}
• A Hoare logic for linear systems

Describes a project that uses

Uses Software

• ClawZ

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