Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems

From MaRDI portal
Publication:2821258

DOI10.1002/asjc.1210zbMath1346.93263OpenAlexW1937433945MaRDI QIDQ2821258

Misato Yokotani, Shigemasa Takai, Tetsuya Kondo

Publication date: 19 September 2016

Published in: Asian Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/asjc.1210






Cites Work


This page was built for publication: Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems