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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Science progress (1916) Ročník 104; číslo 3; s. 1 - 32
Hlavní autori:	Cheng, Lihong, Feng, Lei, Li, Zhiwu
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	London, England Sage Publications, Ltd 01.07.2021 SAGE Publications Sage Publications Ltd
Predmet:	Algorithms Automata theory Automated guided vehicles Computational efficiency Computer applications Computer Science Control theory Datalogi deterministic finite automata Discrete event systems Equivalence Graph theory Industrial Information and Control Systems Industriella informations- och styrsystem Integer programming Linear programming Manufacturing Mixed integer model abstraction natural projection Optimization Partitioning quasi-congruence relation Solvers Supervisory control System effectiveness Translation quasi-congruence relation deterministic finite automata model abstraction Discrete-event systems natural projection
ISSN:	0036-8504, 2047-7163, 2047-7163
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!