scientific article; zbMATH DE number 1301619

zbMATH Open0925.93746MaRDI QIDQ4246818FDOQ4246818

Authors:

Publication date: 8 November 1999

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

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Application models in control theory (93C95)

Cited In (4)

• A Hybrid Denotational Semantics for Hybrid Systems
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• A formal framework for modeling and validating simulink diagrams
• Optimal control of hybrid manufacturing systems by log-exponential smoothing aggregation

Uses Software

• HyTech

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