Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems

Model abstraction for finite state automata is helpful for decreasing computational complexity and improving comprehensibility for the verification and control synthesis of discrete-event systems (DES). Supremal quasi-congruence equivalence is an effective method for reducing the state space of DES...

Descripción completa

Detalles Bibliográficos
Autores principales: Cheng, Lihong, Feng, Lei, Li, Zhiwu
Formato: Online Artículo Texto
Lenguaje:English
Publicado: SAGE Publications 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10450712/
https://www.ncbi.nlm.nih.gov/pubmed/34292845
http://dx.doi.org/10.1177/00368504211030833

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10450712/
https://www.ncbi.nlm.nih.gov/pubmed/34292845
http://dx.doi.org/10.1177/00368504211030833

Ejemplares similares