scientific article; zbMATH DE number 2010479
From MaRDI portal
Publication:4435277
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to systems and control theory (93-01) Controllability, observability, and system structure (93Bxx) Discrete event control/observation systems (93C65) Model systems in control theory (93Cxx)
Recommendations
Cited in
(5)- Supervisory control of discrete-event systems
- Modelling, state observation and diagnosis of quantised systems
- scientific article; zbMATH DE number 3873141 (Why is no real title available?)
- scientific article; zbMATH DE number 1259053 (Why is no real title available?)
- Diagnosis and supervision: model-based approaches
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 Q4435277)