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

Full description

Saved in:

Bibliographic Details
Published in:	Science progress (1916) Vol. 104; no. 3; pp. 1 - 32
Main Authors:	Cheng, Lihong, Feng, Lei, Li, Zhiwu
Format:	Journal Article
Language:	English
Published:	London, England Sage Publications, Ltd 01.07.2021 SAGE Publications Sage Publications Ltd
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!