Mark Lawford

Available identifiers

zbMath Open lawford.markMaRDI QIDQ351738

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5057633	2022-12-16	Paper
Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput	2020-07-27	Paper
Multiple model synchronization with multiary delta lenses with amendment and K-Putput	2019-11-18	Paper
Multiple model synchronization with multiary delta lenses	2019-09-16	Paper
Optimal Supervisory Control of Probabilistic Discrete Event Systems	2017-09-08	Paper
Probabilistic Supervisory Control of Probabilistic Discrete Event Systems	2017-08-08	Paper
Hierarchical interface-based supervisory control-part II: parallel case	2017-07-12	Paper
Hierarchical interface-based supervisory Control-part I: serial case	2017-07-12	Paper
Robust nonblocking supervisory control of discrete-event systems	2017-07-12	Paper
A pseudometric in supervisory control of probabilistic discrete event systems	2013-07-09	Paper
Towards integrated verification of timed transition models	2006-07-26	Paper
FM 2005: Formal Methods	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q2767167	2002-01-28	Paper
Equivalence preserving transformations for timed transition models	1996-08-05	Paper

Research outcomes over time

This page was built for person: Mark Lawford