Equivalence preserving transformations for timed transition models

DOI10.1109/9.400494MaRDI QIDQ4850246zbMATH OpenOpenAlexFDO

Authors Mark Lawford, W. Murray Wonham

Publication date 5 August 1996

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/f3fbf854d72c9fb77a33e959a128b8d68f4bb8f6

zbMATH Keywords

observation equivalencereal-time control systemssoftware verificationtime transition modelstransformations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Transformations (93B17) 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) Model systems in control theory (93C99)

Recommendations

• scientific article; zbMATH DE number 176150
• Towards integrated verification of timed transition models
• Unifying behavioral equivalences of timed transition systems
• Branching-Time Property Preservation Between Real-Time Systems

Cited in

(3)

• Failure-equivalent transformation of transition systems to avoid internal actions
• Supervisory control of discrete event systems
• Logical models of discrete even systems: a comparative exposition

This page was built for publication: Equivalence preserving transformations for timed transition models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4850246)