Planning on discrete event systems using parallelism maximization
This work deals with the production planning problem in Discrete Event Systems, using the
Supervisory Control Theory to establish the search space and developing two heuristics …
Supervisory Control Theory to establish the search space and developing two heuristics …
A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms
Heterogeneity among equipment in industrial production lines may have a major impact on
energy consumption and makespan. The Supervisory Control Theory of discrete event …
energy consumption and makespan. The Supervisory Control Theory of discrete event …
SAT-Reach: A Bounded Model Checker for Affine Hybrid Systems
Bounded model checking (BMC) is well-known to be undecidable even for simple hybrid
systems. Existing work targeted for a wide class of non-linear hybrid systems reduces the …
systems. Existing work targeted for a wide class of non-linear hybrid systems reduces the …
Sco-concat: a solution to a planning problem in flexible manufacturing systems using supervisory control theory and optimization techniques
TA Costa, PN Pena, RHC Takahashi - Journal of Control, Automation and …, 2018 - Springer
This work presents a modified version of the SCO (Supervisory Control and Optimization)
methodology, proposed in Pena et al.(Inf Sci 329: 491–502, 2016) to deal with planning …
methodology, proposed in Pena et al.(Inf Sci 329: 491–502, 2016) to deal with planning …
[PDF][PDF] Using an abstraction of the supervisor to solve a planning problem in manufacturing systems
GC Rafael, PN PENA - Congresso Brasileiro de Automática-CBA, 2019 - sba.org.br
This paper deals with a production-planning problem in the industrial environment from the
perspective of Discrete Event Systems. The use of the solution obtained by applying the …
perspective of Discrete Event Systems. The use of the solution obtained by applying the …
Time optimal synthesis based upon sequential abstraction and maximizing parallelism
S Ware, R Su - 2017 13th IEEE Conference on Automation …, 2017 - ieeexplore.ieee.org
The Ramadge-Wonham supervisory control paradigm has been shown effective in dealing
with logic control. Nevertheless, time-related performance is always one of the major …
with logic control. Nevertheless, time-related performance is always one of the major …
Using Markov Decision Process over Local Modular Supervisors for Planning Problems
This paper presents a novel algorithm that employs the Markov Decision Process approach
to efficiently determine sequences that minimize makespan for planning problems. The …
to efficiently determine sequences that minimize makespan for planning problems. The …
Solution of a scheduling problem using an abstraction of the closed loop behaviour of a discrete event system
GC Rafael - 2018 - repositorio.ufmg.br
This dissertation deals with a production-planning problem in the industrial environment
from the perspective of Discrete Event Systems. For such, a solution obtained by applying …
from the perspective of Discrete Event Systems. For such, a solution obtained by applying …
Makespan reduction for Time-Weighted Systems using a Clonal Selection algorithm
GL Vargas, AEC Da Cunha - 2022 IEEE 27th International …, 2022 - ieeexplore.ieee.org
The time-optimal control of Time-Weighted Systems (TWS) is an approach that can be used
to makespan reduction of Computer-Integrated Manufacturing (CIM) Systems. Unfortunately …
to makespan reduction of Computer-Integrated Manufacturing (CIM) Systems. Unfortunately …
[PDF][PDF] Planejamento da Produçao em Sistemas a Eventos Discretos usando Heurıstica
In this work we address the problem of production planning in Discrete Event Systems by
applying a pruning heuristic to an exact algorithm of minimization of makespan. The …
applying a pruning heuristic to an exact algorithm of minimization of makespan. The …