scientific article; zbMATH DE number 1956639

MaRDI QIDQ4418002zbMATH OpenFDO

Authors Jie Liu, Edward A. Lee

Publication date 30 July 2003

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

Mathematics Subject Classification ID

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

Recommendations

• A type-based analysis of causality loops in hybrid systems modelers
• A type-based analysis of causality loops in hybrid systems modelers
• Modeling Timed Concurrent Systems
• scientific article; zbMATH DE number 1507210
• Causality checking for complex system models

Cited in

(4)

• The fixed-point theory of strictly causal functions
• Actors without Directors: A Kahnian View of Heterogeneous Systems
• A type-based analysis of causality loops in hybrid systems modelers
• Timing is all you need

Describes a project that uses

Uses Software

• Simulink

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