This thesis focuses on the time-related performance objectives in supervisor synthesis of discrete event systems (DES). With this purpose in mind, we exploit the finite-state timed-weighted automaton as the modeling formalism. First, we present the concept of throughput to evaluate the time-performance of systems with cyclic behaviors. We formulate the supervisory synthesis problem ensuring both logiccorrectness and optimal throughput. After showing the existence of the supremal controllable sublanguage with maximum throughput, an algorithm is provided to compute such a supervisor. In the sequel, we model an operational and scheduling problem under multiple job deadlines, where each job is represented by a finite language and has to be completed within a finite period. The first step is to compute the supremal controllable job satisfaction sublanguage where all jobs and deadlines are met. In the case of nonempty supremal sublanguage, by adding proper delays to controllable transitions, we seek for one of the maximal controllable sublanguages that ensure the minimum total job earliness. If the supremal sublanguage is empty, we will relax some of the job deadlines, and compute a maximal controllable minimum-earliness.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2025 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.