A Reactive Synthesis Approach to Supervisory Control of Terminating Processes
نویسندگان
چکیده
منابع مشابه
On the Relation between Reactive Synthesis and Supervisory Control of Non-Terminating Processes
Reactive synthesis and supervisory control theory both provide a design methodology for the automatic and algorithmic design of digital systems from declarative specifications. The reactive synthesis approach originates in computer science, and seeks to synthesise a system that interacts with its environment over time and that, doing so, satisfies a prescribed specification. Here, the distingui...
متن کاملSupervisory Control Service - A control approach supporting flexible processes
In order to be competitive, companies are demanding more flexibility from their Process Aware Information Systems (PAISs). However, increasing flexibility and complexity of modern PAISs usually leads to less guidance for its users and consequently requires more experienced users. For instance, a flexible PAIS allows users to freely choose a specific execution sequence. However, there are no gua...
متن کاملSupervisory control and reactive synthesis: a comparative introduction
This paper presents an introduction to and a formal connection between synthesis problems for discrete event systems that have been considered, largely separately, in the two research communities of supervisory control in control engineering and reactive synthesis in computer science. By making this connection mathematically precise in a paper that attempts to be as self-contained as possible, ...
متن کاملReactive Synthesis vs. Supervisory Control: Bridging the Gap
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission.
متن کاملfrom linguistics to literature: a linguistic approach to the study of linguistic deviations in the turkish divan of shahriar
chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2020.12.2541