scientific article; zbMATH DE number 1956625

zbMATH Open1032.93529MaRDI QIDQ4417982FDOQ4417982

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (2)

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

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)