Benjamin Michael Jean-Rene Lesage — York Research Database

If you made any changes in Pure these will be visible here soon.

14 Conference contribution
3 Article
1 Paper

Using digital twins in the development of complex dependable real-time embedded systems
Dai, X., Zhao, S., Lesage, B. M. J-R. & Bate, I. J., 17 Oct 2022, International Symposium on Leveraging Applications of Formal Methods. Springer, p. 37-53 17 p. (Lecture Notes in Computer Science (LNCS); vol. 13702).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
Gleirscher, M., Calinescu, R., Douthwaite, J., Lesage, B. M. J-R., Paterson, C., Aitken, J., Alexander, R. & Law, J., 4 Apr 2022, (E-pub ahead of print) In: Science of Computer Programming. 102809.
Research output: Contribution to journal › Article › peer-review

Open Access
File
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics
Douthwaite, J. A., Lesage, B. M. J-R., Gleirscher, M., Calinescu, R., Aitken, J. M., Alexander, R. & Law, J., 10 Dec 2021, In: Frontiers in Robotics and AI. 8, 17 p., 758099.
Research output: Contribution to journal › Article › peer-review

Open Access
File