Local Refinement of l-complete Approximations for Supervisory Control of Hybrid Systems
نویسندگان
چکیده
منابع مشابه
SUPERVISORY CONTROL OF HYBRID SYSTEMS VIA l-COMPLETE APPROXIMATIONS
This contribution deals with the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor representable by nite state machines. We nd the strongest l-complete approximation (abstraction) l for , represent it by a nite state machine , and investigate the control problem for the approximation. If a solution exists, we s...
متن کاملESTIMATING REACHABLE STATES OF HYBRID SYSTEMS VIA l-COMPLETE APPROXIMATIONS
This contribution treats the estimation of reachable states for time invariant hybrid systems. Using the framework provided by Willems’ behavioural systems theory, we suggest a method based on l-complete approximations, which can be realized by finite state machines. The approximating behaviour is a superset of the original behaviour. Hence, the estimate of reachable states based on an l-comple...
متن کاملSynthesis of Supervisory Controllers for Hybrid Systems Using Abstraction Refinement
For the computationally challenging task of synthesizing supervisory controllers for hybrid systems, this paper suggests to use guided abstraction refinement. Starting from a discrete abstraction of the hybrid model, so-called candidate paths are determined as possible controlled evolutions which satisfy given specifications for safety and goal attainment. A specialized validation procedure is ...
متن کاملSupervisory target control for hybrid systems
The problem of systematically synthesizing supervisory control laws that satisfy eventuality and efficiency requirements for hybrid systems modelled by hybrid automata is considered. Here, the efficiency requirement is specified by weighting the discrete transitions of the system. The optimization of the efficiency requirement is considered in the min-max sense due to the existence of disturban...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2018
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2018.06.342