Modeling for supervisor synthesis – a lock-bridge combination case study

AbstractThe development of supervisory controllers for cyber-physical systems is a laborious and error-prone process. Supervisor synthesis enables control designers to automatically synthesize a correct-by-construction supervisor from a model of the plant combined with a model of the control requirements. From the supervisor model, controller code can be generated which is suitable for the implementation on a programmable logic controller (PLC). Supervisors for industrial systems that operate in close proximity to humans have to adhere to strict safety standards. To achieve these standards, safety PLCs (SPLCs) are used. For SPLC implementation, the supervisor has to be split into a regular part and a safety part. In previous work, a method is proposed to automatically split a supervisor model for this purpose. The method assumes that the provided plant model is a collection of finite automata. In this paper, the extension to extended finite automata is described. Additionally, guidelines are provided for modeling the plant and the requirements to achieve a favorable splitting. A case study on a rotating bridge is elaborated which has been used to validate the method. The case study spans all development steps, including the implementation of the resulting supervisor to control the real bridge.

Download Full-text

Cooperation of agents in complex systems based on supervision

Cybernetics and Information Technologies ◽

10.2478/cait-2014-0004 ◽

2014 ◽

Vol 14 (1) ◽

pp. 40-51

Author(s):

František Čapkovič

Keyword(s):

Complex Systems ◽

State Vector ◽

Discrete Event Systems ◽

Discrete Event ◽

The State ◽

System Structure ◽

Continuous Systems ◽

Production Lines ◽

Supervisor Synthesis

Abstract Complex systems consist of many cooperating devices. To have a transparent view on the system structure, as well as on the structural interconnections and cooperation of the subsystems, it is useful to synthesize the complex systems systematically in a prescribed order, even in analytical terms (if possible). The supervision of the subsystems seems to be a very suitable approach to accomplish these demands, and consequently it makes the complex systems diagnostics easier. The substantial agents (i.e., the agents of material nature − e.g., devices like particular production lines, robots, numerically controlled machines, etc.) can be coordinated and forced to cooperation by means of efficiently synthesized supervisors. The cooperation process has the character of DES (Discrete-Event Systems), because any system (including continuous systems), has minimally two discrete states - idle and working. DES control theory can be successfully utilized in supervisor synthesis. There are several approaches to modeling the agents and the process of supervisor synthesis. The Petri net-based approach is one of them. Place/Transition Petri Nets (P/T PN) are used here for modeling the behaviour of particular agents, as well as in the computational parocess used for the supervisor synthesis. Two main methods of the P/T PN-based supervision will be used, namely (i) the supervision based on the place invariants (P-invariants) of P/T PN, utilizing only the state vector during the supervisor synthesis, and (ii) the extended supervision utilizing not only the state vector, but also the control vector and Parikh’s vector. The efficiency of the proposed approach is illustrated in a case study.

Download Full-text

The Genesis and Internal Dynamics of El Salvador's People's Revolutionary Army, 1970–1976

Behavioral and Brain Sciences ◽

10.1017/s0140525x13009850 ◽

2014 ◽

Vol 38 (01) ◽

pp. 102-129

Author(s):

ALBERTO MARTÍN ÁLVAREZ ◽

EUDALD CORTINA ORERO

Keyword(s):

Latin America ◽

El Salvador ◽

Early Years ◽

Left Wing ◽

Internal Dynamics ◽

Internal Coherence ◽

The 1960S

AbstractUsing interviews with former militants and previously unpublished documents, this article traces the genesis and internal dynamics of the Ejército Revolucionario del Pueblo (People's Revolutionary Army, ERP) in El Salvador during the early years of its existence (1970–6). This period was marked by the inability of the ERP to maintain internal coherence or any consensus on revolutionary strategy, which led to a series of splits and internal fights over control of the organisation. The evidence marshalled in this case study sheds new light on the origins of the armed Salvadorean Left and thus contributes to a wider understanding of the processes of formation and internal dynamics of armed left-wing groups that emerged from the 1960s onwards in Latin America.

Download Full-text

Culture and the plasticity of perception

Behavioral and Brain Sciences ◽

10.1017/s0140525x19002887 ◽

2020 ◽

Vol 43 ◽

Author(s):

Michael Lifshitz ◽

T. M. Luhrmann

Keyword(s):

Cultural Context ◽

Sensory Experience ◽

Cultural Learning ◽

The World

Abstract Culture shapes our basic sensory experience of the world. This is particularly striking in the study of religion and psychosis, where we and others have shown that cultural context determines both the structure and content of hallucination-like events. The cultural shaping of hallucinations may provide a rich case-study for linking cultural learning with emerging prediction-based models of perception.

Download Full-text

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

Behavioral and Brain Sciences ◽

10.1017/s0140525x19000451 ◽

2019 ◽

Vol 42 ◽

Author(s):

Daniel J. Povinelli ◽

Gabrielle C. Glorioso ◽

Shannon L. Kuznar ◽

Mateja Pavlic

Keyword(s):

Temporal Reasoning ◽

Higher Order ◽

Important Case ◽

Human Cognition ◽

Relational Reasoning ◽

Dual Systems ◽

First Order ◽

Reasoning System ◽

Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Download Full-text

Sociocultural memory development research drives new directions in gadgetry science

Behavioral and Brain Sciences ◽

10.1017/s0140525x19000979 ◽

2019 ◽

Vol 42 ◽

Author(s):

Penny Van Bergen ◽

John Sutton

Keyword(s):

Episodic Memory ◽

Autobiographical Memory ◽

Developmental Psychology ◽

Cross Cultural ◽

Memory Development ◽

Development Research ◽

Cultural Research ◽

New Directions ◽

Cross Cultural Research

Abstract Sociocultural developmental psychology can drive new directions in gadgetry science. We use autobiographical memory, a compound capacity incorporating episodic memory, as a case study. Autobiographical memory emerges late in development, supported by interactions with parents. Intervention research highlights the causal influence of these interactions, whereas cross-cultural research demonstrates culturally determined diversity. Different patterns of inheritance are discussed.

Download Full-text

Construction of plastic contact deformation maps on ceramics: a case study on aluminum nitride

Proceedings, annual meeting, Electron Microscopy Society of America ◽

10.1017/s0424820100165641 ◽

1996 ◽

Vol 54 ◽

pp. 636-637

Author(s):

D. L. Callahan

Keyword(s):

Plastic Deformation ◽

Aluminum Nitride ◽

Mechanical Response ◽

Three Dimensional ◽

Bright Field Image ◽

Perfectly Plastic ◽

Contrast Analysis ◽

Deformation Patterns

Modern polishing, precision machining and microindentation techniques allow the processing and mechanical characterization of ceramics at nanometric scales and within entirely plastic deformation regimes. The mechanical response of most ceramics to such highly constrained contact is not predictable from macroscopic properties and the microstructural deformation patterns have proven difficult to characterize by the application of any individual technique. In this study, TEM techniques of contrast analysis and CBED are combined with stereographic analysis to construct a three-dimensional microstructure deformation map of the surface of a perfectly plastic microindentation on macroscopically brittle aluminum nitride.The bright field image in Figure 1 shows a lg Vickers microindentation contained within a single AlN grain far from any boundaries. High densities of dislocations are evident, particularly near facet edges but are not individually resolvable. The prominent bend contours also indicate the severity of plastic deformation. Figure 2 is a selected area diffraction pattern covering the entire indentation area.

Download Full-text