103,753 research outputs found
Communicating Processes with Data for Supervisory Coordination
We employ supervisory controllers to safely coordinate high-level
discrete(-event) behavior of distributed components of complex systems.
Supervisory controllers observe discrete-event system behavior, make a decision
on allowed activities, and communicate the control signals to the involved
parties. Models of the supervisory controllers can be automatically synthesized
based on formal models of the system components and a formalization of the safe
coordination (control) requirements. Based on the obtained models, code
generation can be used to implement the supervisory controllers in software, on
a PLC, or an embedded (micro)processor. In this article, we develop a process
theory with data that supports a model-based systems engineering framework for
supervisory coordination. We employ communication to distinguish between the
different flows of information, i.e., observation and supervision, whereas we
employ data to specify the coordination requirements more compactly, and to
increase the expressivity of the framework. To illustrate the framework, we
remodel an industrial case study involving coordination of maintenance
procedures of a printing process of a high-tech Oce printer.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432
Deployment of Digital Video and Audio Over Electrical SCADA Networks
With the arrival of new hardware and software technologies,
supervisory control and data acquisition human-machine
interfaces (SCADA/HMI), usually text-based, can now benefit
from the advantages the inclusion of multimedia information
brings. However, due to the special requirements imposed by
such systems, integrating audio and video data into the SCADA
interfaces is not a trivial task. In this document we analyze those
special characteristics and propose solutions so this integration is
possible in power systems communication.Ministerio de Ciencia y TecnologÃa TIC2000-0367-P4-0
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how
physical phenomena can be influenced by certain control parameters or inputs.
Although these models are very powerful when dealing with physical phenomena,
they are less suitable to describe software and hardware interfacing the
physical world. For this reason there is a growing interest in describing
control systems through symbolic models that are abstract descriptions of the
continuous dynamics, where each "symbol" corresponds to an "aggregate" of
states in the continuous model. Since these symbolic models are of the same
nature of the models used in computer science to describe software and
hardware, they provide a unified language to study problems of control in which
software and hardware interact with the physical world. Furthermore the use of
symbolic models enables one to leverage techniques from supervisory control and
algorithms from game theory for controller synthesis purposes. In this paper we
show that every incrementally globally asymptotically stable nonlinear control
system is approximately equivalent (bisimilar) to a symbolic model. The
approximation error is a design parameter in the construction of the symbolic
model and can be rendered as small as desired. Furthermore if the state space
of the control system is bounded the obtained symbolic model is finite. For
digital control systems, and under the stronger assumption of incremental
input-to-state stability, symbolic models can be constructed through a suitable
quantization of the inputs.Comment: Corrected typo
Development of preliminary design concept for a multifunction display and control system for the Orbiter crew station. Task 4: Design concept recommendation
Application of multifunction display and control systems to the NASA Orbiter spacecraft offers the potential for reducing crew workload and improving the presentation of system status and operational data to the crew. A design concept is presented for the application of a multifunction display and control system (MFDCS) to the Orbital Maneuvering System and Electrical Power Distribution and Control System on the Orbiter spacecraft. The MFDCS would provide the capability for automation of procedures, fault prioritization and software reconfiguration of the MFDCS data base. The MFDCS would operate as a stand-alone processor to minimize the impact on the current Orbiter software. Supervisory crew command of all current functions would be retained through the use of several operating modes in the system. Both the design concept and the processes followed in defining the concept are described
Supervisory control theory applied to swarm robotics
Currently, the control software of swarm robotics systems is created by ad hoc development. This makes it hard to deploy these systems in real-world scenarios. In particular, it is difficult to maintain, analyse, or verify the systems. Formal methods can contribute to overcome these problems. However, they usually do not guarantee that the implementation matches the specification, because the system’s control code is typically generated manually. Also, there is cultural resistance to apply formal methods; they may be perceived as an additional step that does not add value to the final product. To address these problems, we propose supervisory control theory for the domain of swarm robotics. The advantages of supervisory control theory, and its associated tools, are a reduction in the amount of ad hoc development, the automatic generation of control code from modelled specifications, proofs of properties over generated control code, and the reusability of formally designed controllers between different robotic platforms. These advantages are demonstrated in four case studies using the e-puck and Kilobot robot platforms. Experiments with up to 600 physical robots are reported, which show that supervisory control theory can be used to formally develop state-of-the-art solutions to a range of problems in swarm robotics
A Supervisory Control Algorithm Based on Property-Directed Reachability
We present an algorithm for synthesising a controller (supervisor) for a
discrete event system (DES) based on the property-directed reachability (PDR)
model checking algorithm. The discrete event systems framework is useful in
both software, automation and manufacturing, as problems from those domains can
be modelled as discrete supervisory control problems. As a formal framework,
DES is also similar to domains for which the field of formal methods for
computer science has developed techniques and tools. In this paper, we attempt
to marry the two by adapting PDR to the problem of controller synthesis. The
resulting algorithm takes as input a transition system with forbidden states
and uncontrollable transitions, and synthesises a safe and
minimally-restrictive controller, correct-by-design. We also present an
implementation along with experimental results, showing that the algorithm has
potential as a part of the solution to the greater effort of formal supervisory
controller synthesis and verification.Comment: 16 pages; presented at Haifa Verification Conference 2017, the final
publication is available at Springer via
https://doi.org/10.1007/978-3-319-70389-3_
Supervisory control theory applied to swarm robotics
Currently, the control software of swarm robotics systems is created by ad hoc development. This makes it hard to deploy these systems in real-world scenarios. In particular, it is difficult to maintain, analyse, or verify the systems. Formal methods can contribute to overcome these problems. However, they usually do not guarantee that the implementation matches the specification, because the system?s control code is typically generated manually. Also, there is cultural resistance to apply formal methods; they may be perceived as an additional step that does not add value to the final product. To address these problems, we propose supervisory control theory for the domain of swarm robotics. The advantages of supervisory control theory, and its associated tools, are a reduction in the amount of ad hoc development, the automatic generation of control code from modelled specifications, proofs of properties over generated control code, and the reusability of formally designed controllers between different robotic platforms. These advantages are demonstrated in four case studies using the e-puck and Kilobot robot platforms. Experiments with up to 600 physical robots are reported, which show that supervisory control theory can be used to formally develop state-of-the-art solutions to a range of problems in swarm robotics
PERANCANGAN SIMULATOR SISTEM SCADA PUSAT LISTRIK TENAGA UAP SURALAYA
Simulator sistem SCADA (Supervisory Control and Data Acquisition) adalah perangkat lunak berbasis HMI yang mampu memvisualisasikan proses plant. Makalah ini memaparkan simulator sistem SCADA yang digunakan untuk sistem pembangkitan di PLTU Suralaya. Sistem pembangkitan ini terdiri dari 3 proses utama, yaitu proses bahan bakar berupa batubara, proses air sebagai pengisi boiler dan air sebagai pendingin yang diambil dari air laut. Simulator ini menggunakan data teknis yang di ambil dari PLTU Suralaya dan dikembangkan dengan software Wonderware Intouch 10. Software ini dilengkapi dengan gambar komponen, animasi, tampilan kontrol, sistem alarm, real-time trend, historical trend, dan sistem keamanan. Simulator ini menggambarkan aliran energi yang terjadi pada PLTU. Simulator ini dapat digunakan sebagai pelatihan operator sebelum mengoperasikan plant yang sebenarnya.
Kata kunci: SCADA, HMI, Human Machine Interface, PLTU, Suralaya, Wonderware Intouch.
SCADA system simulator (Supervisory Control and Data Acquisition) is a software-based HMI that can visualize the process plant. This paper describes the simulator of SCADA systems used for the generation system in Suralaya. This generation system consists of three main processes, the processes of fuel, the process water as filler boiler and cooling water were taken from seawater. This simulator uses technical data obtained from Suralaya steam power plant and developed with Wonderware Intouch 10. This software comes with the component images, animation, display control, alarm systems, real-time trends, historical trends, and security systems. This simulator illustrates the flow of energy that occurs in the plant. This simulator can be used as operator training before operating the real plant.
Keyword: SCADA, HMI, Human Machine Interface, Steam Power Plant, Suralaya, Wonderware Intouch
- …