Logic controllers
Validation of logic controllers from events observation in a closed-loop system
... of logic controllers by using formal methods like model-checking or confor- mance ...a logic controller re- quires also to analyze the behavior of the controller when it is connected to the plant it ...
8
Conformance test of logic controllers of critical systems from industrial specifications
... FOR LOGIC CONTROLLERS Specifications of the logic control of industrial sys- tems are not expressed in formal languages but in lan- guages that are tailored-made for automation and of- ten ...
9
Formal models for conformance test of programmable logic controllers
... Programmable Logic Controllers (PLCs) are increasingly used to implement con- trol and monitoring functions in critical systems like power plants, railway transport, ...
25
A Refinement-Based Validation Method for Programmable Logic Controllers
... Beijing, China Abstract—Programmable logic controllers (PLCs) are widely used in computer-based industrial applications. Timers play a pivotal role in PLC real-time embedded system applications. The paper ...
5
Domain-driven Probabilistic Analysis of Programmable Logic Controllers
... 4 Dept. ECE, Portland State University, Oregon, USA Abstract. Programmable Logic Controllers are widely used in industry. Reliable PLCs are vital to many critical applications. This paper presents a novel ...
17
SIC-testability of sequential logic controllers
... SEQUENTIAL LOGIC CONTROLLERS Several event-based formalisms have been proposed to model sequential systems; they have permitted to obtain worthwhile theoretical results in the domains of synthesis and ...
7
Testing Programmable Logic Controllers from Finite State Machines specification
... 16 logic inputs and 16 logic outputs that can be remotely set/reset from a computer via a Modbus TCP/IP network ...the logic controller under test, while each of its inputs is connected downstream ...
7
Fuzzy logic controllers for electrotechnical devices - On-site tuning approach
... PACS. 84.60.Bk Performance characteristics of energy conversion systems; figure of merit – 07.05.Fb Design of experiments – 07.05.Mh Neural networks, fuzzy logic, artificial intelligence Introduction Among the ...
15
Is logic empirical?
... that logic is thus quantum solves the standard paradoxes of quantum mechanics, such as the measurement problem or Schr¨ odinger’s ...quantum logic, even were it otherwise justified, would not resolve the ...
42
Epistemic Equilibrium Logic
... modal logic with a kind of minimal model reasoning about epistemic concepts knowledge and be- lief was Chen’s ...modal logic with non-dual epistemic ...
8
en fr Characterization of HIV-specific CD8+ T cells in « HIV controllers » Caractérisation des lymphocytes T CD8+ spécifiques du VIH chez les « HIV controllers »
... HIV controllers exhibited a significantly higher proportion of EOMES hi CD57 ⫹ CD8 ⫹ T cells than did both viremic and avire- mic ART-treated ...HIV controllers retain an EOMES hi CD57 ⫹ phenotype, in ...
163
Adiabatic capacitive logic: A paradigm for low-power logic
... OTHER LOGIC STYLES The key differences with ACL are summarized in Table ...adiabatic logic is based on relay, its static loss is close to zero as it relies on metal-oxide-metal ...adiabatic logic ...
5
Scheduling of Embedded Controllers Under Timing Contracts
... In the second part of the paper, we address the require- ment engineering problem, which consists in synthesizing a set of timing contracts that guarantee at the same time the schedulability and the stability of the ...
11
PI controllers for 1-D nonlinear transport equation
... In this paper, we introduce a method to get necessary and sufficient stability conditions for systems governed by 1-D nonlinear hyperbolic partial-differential equations with closed-loop in- tegral controllers, ...
20
Synthesis of Communicating Controllers for Distributed Systems
... other controllers by piggybacking extra information, such as state estimates, to the messages sent in the FIFO ...local controllers that restrict the behavior of a distributed system in order to satisfy a ...
9
Asynchronous logic automata
... binary logic; Kurt G¨ odel, Alonzo Church, and Alan Mathison Turing for formalizing the algorithm; Stanislaw Ulam, John von Neumann, Arthur Walter Burks, Edwin Roger Banks, and John Horton Conway for cellular ...
92
MIM-Logic: a logic for reasoning about molecular interaction maps
... Chapter 3 introduced a new logical model based on first-order logic aiming to represent the different types of interactions found in MIM. First we defined three different states, present, active, and inhibited, ...
179
Detectable HIV-RNA in semen of HIV controllers
... Patients and methods Study design and study participants HIV-1 controllers (HIC) were identified from the French CO21-CODEX cohort which has included HIV-1 controllers fulfilling the ANRS definition, i.e. ...
8
Generalized Homogenization of Linear Controllers: Theory and Experiment
... ˜ kx. The aim of this paper is show that an existing linear controller can be ”upgraded” to a non-linear one (using the generalized homogeneity) in such a way that the new controller would provide a better control ...
25
Event-Triggered Stabilizing Controllers for Switched Linear Systems
... Iung, Stability analysis and control synthe- sis for switched systems: a switched Lyapunov function approach, IEEE Transactions on Automatic Control 47 (11) (2002) 1883–1887... Sekiguchi[r] ...
24