Cargando…
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...
| Autores principales: | , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
SAGE Publications
2021
|
| Materias: | |
| 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 |