LOGICAL SYNTHESIS OF DISCRETE AUTOMATIC CONTROL SYSTEMS USING LOW-LEVEL PROGRAMMED RELAYS
نویسندگان
چکیده
منابع مشابه
Distributive Control of Logical Discrete Event Systems Using Control Objectives
The representation of the desired behaviour of a logical discrete-event system (DES), using predicates and associated sets of blocking events, is introduced. The control of a regular DES consists in blocking events when a predicate concerning the system behaviour becomes true. If a blocking event is uncontrollable an algorithm is given which transforms the associated “uncontrollable” predicates...
متن کاملautomatic verification of authentication protocols using genetic programming
implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...
15 صفحه اولControl Synthesis of Discrete Manufacturing Systems using Timed Finite Automata
An application of timed game automaton to the control synthesis of discrete manufacturing systems is presented in the paper. This approach adopts the algorithm for optimal control synthesis of timed automata proposed in [1] as a game-theoretic approach between controller and the model of the plant. KeyWords: Timed automata, control synthesis, model verification, production systems.
متن کاملOptimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملsynthesis of amido alkylnaphthols using nano-magnetic particles and surfactants
we used dbsa and nano-magnetic for the synthesis of amido alkylnaphtols.
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Collection of Scientific Publications NUS
سال: 2021
ISSN: 2311-3405
DOI: 10.15589/znp2021.1(484).7