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ženo v:

Podrobná bibliografie
Vydáno v:	Science progress (1916) Ročník 104; číslo 3; s. 1 - 32
Hlavní autoři:	Cheng, Lihong, Feng, Lei, Li, Zhiwu
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London, England Sage Publications, Ltd 01.07.2021 SAGE Publications Sage Publications Ltd
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!