Mark Lawford

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7633796 (Why is no real title available?)	2022-12-16	Paper
Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput'' Formal Aspects of Computing	2020-07-27	Paper
Multiple model synchronization with multiary delta lenses with amendment and K-Putput Formal Aspects of Computing	2019-11-18	Paper
Multiple model synchronization with multiary delta lenses	2019-09-16	Paper
Optimal Supervisory Control of Probabilistic Discrete Event Systems IEEE Transactions on Automatic Control	2017-09-08	Paper
Probabilistic Supervisory Control of Probabilistic Discrete Event Systems IEEE Transactions on Automatic Control	2017-08-08	Paper
Hierarchical interface-based supervisory control-part II: parallel case IEEE Transactions on Automatic Control	2017-07-12	Paper
Hierarchical interface-based supervisory Control-part I: serial case IEEE Transactions on Automatic Control	2017-07-12	Paper
Robust nonblocking supervisory control of discrete-event systems IEEE Transactions on Automatic Control	2017-07-12	Paper
A pseudometric in supervisory control of probabilistic discrete event systems Discrete Event Dynamic Systems	2013-07-09	Paper
Towards integrated verification of timed transition models	2006-07-26	Paper
FM 2005: Formal Methods Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 1696882 (Why is no real title available?)	2002-01-28	Paper
Equivalence preserving transformations for timed transition models IEEE Transactions on Automatic Control	1996-08-05	Paper

Research outcomes over time

This page was built for person: Mark Lawford