Equivalence preserving transformations for timed transition models

DOI10.1109/9.400494zbMath0842.93013OpenAlexW2171114695MaRDI QIDQ4850246

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

transformationssoftware verificationobservation equivalencereal-time control systemstime transition models

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Transformations (93B17) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Model systems in control theory (93C99)

Related Items (2)

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