New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets

The main aim of the proposed paper is to design a new software tool for modelling and control of discrete-event and hybrid systems using Arduino and similar microcontrollers. To accomplish these tasks a new tool called PN2ARDUINO based on Petri nets is proposed which is able to communicate with the microcontroller. Communication with the microcontroller is based on the modified Firmata protocol hence the control algorithm can be implemented on all microcontrollers that support this type of protocol. The developed software tool has been successfully verified in control of laboratory systems. It can also be used for education and research purposes as it offers a graphical environment for designing control algorithms for hybrid and mainly discrete-event systems. The proposed tool can improve education and practice in the field of cyber-physical systems (Industry 4.0)

Continuous flow Systems and Control Methodology Using Hybrid Petri nets

International audienceIn this paper, we consider the controller synthesis for continuous flow systems. These lasts are a sub-class of hybrid dynamic systems. Their main characteristics are positiveness and linearity. Transport, manufacturing, communication and biological systems are examples of continuous flow systems. Numerous tools and techniques exist in the literature for modelling and analyzing such systems. As positiveness is a hard constraint, an appropriate tool integrating naturally this constraint is strongly needed. Hybrid Petri Nets are an elegant modeling tool of positive systems, while Hybrid Automata are a powerful tool giving formally the reachable dynamic space. Combining these two tools aim to a sound approach for control synthesis of continuous flow systems. We start by considering the process to control and compute its reachable state space using specialized software like PHAVer. Algebraic inequalities define this reachable state space. The constrained behaviour is obtained by restricting this state space into a smaller desired space. This reduction is expressed in term of linear constraints only over the continuous variables; while the control is given by the discrete transitions (occurrence dates of controllable events). The controller synthesis methodology is based on the control of a hybrid system modelled by a D-elementary hybrid Petri Net. The control consists in modifying the guard of the controllable transitions so as the reachable controlled state space is maximally permissive

The MDLe Engine -- A Software Tool for Hybrid Motion Control

One of the important but often overlooked practical challenges in motion control for robotics and other autonomous machines has to do with the implementation of theoretical tools into software that will allow the system to interact effectively with the physical world. More often than not motion control programs are machine-specific and not reusable, even when the underlying algorithm does not require any changes. The work on Motion Description Languages (MDL) has been an effort to formalize a general-purpose robot programming language that allows one to incorporate both switching logic and differential equations. Extended MDL (MDLe) is a device-independent programming language for hybrid motion control, accommodating hybrid controllers, multi-robot interactions and robot-to-robot communications. The purpose of this paper is to describe the "MDLe engine," a software tool that implements the MDLe language. We have designed a basic compiler/software foundation for writing MDLe code. We provide a brief description of the MDLe syntax, implementation architecture, and functionality. Sample programs are presented together with the results of their execution on a set of physical and simulated mobile robots

Using CONFIG for Simulation of Operation of Water Recovery Subsystems for Advanced Control Software Evaluation

A hybrid discrete/continuous simulation tool, CONFIG, has been developed to support evaluation of the operability life support systems. CON FIG simulates operations scenarios in which flows and pressures change continuously while system reconfigurations occur as discrete events. In simulations, intelligent control software can interact dynamically with hardware system models. CONFIG simulations have been used to evaluate control software and intelligent agents for automating life support systems operations. A CON FIG model of an advanced biological water recovery system has been developed to interact with intelligent control software that is being used in a water system test at NASA Johnson Space Cente

Reconfigurable software architecture for a hybrid micro machine tool

Hybrid micro machine tools are increasingly in demand for manufacturing microproducts made of hard-to-machine materials, such as ceramic air bearing, bio-implants and power electronics substrates etc. These machines can realize hybrid machining processes which combine one or two non-conventional machining techniques such as EDM, ECM, laser machining, etc. and conventional machining techniques such as turning, grinding, milling on one machine bed. Hybrid machine tool developers tend to mix and match components from multiple vendors for the best value and performance. The system integrity is usually at the second priority at the initial design phase, which generally leads to very complex and inflexible system. This paper proposes a reconfigurable control software, architecture for a hybrid micro machine tool, which combines laser-assisted machining and 5-axis micro-milling as well as incorporating a material handling system and advanced on-machine sensors. The architecture uses finite state machine (FSM) for hardware control and data flow. FSM simplifies the system integration and allows a flexible architecture that can be easily ported to similar applications. Furthermore, component-based technology is employed to encapsulate changes for different modules to realize “plug-and-play”. The benefits of using the software architecture include reduced lead time and lower cost of development

Architectures and Evaluation for Adjustable Control Autonomy for Space-Based Life Support Systems

In the past five years, a number of automation applications for control of crew life support systems have been developed and evaluated in the Adjustable Autonomy Testbed at NASA's Johnson Space Center. This paper surveys progress on an adjustable autonomous control architecture for situations where software and human operators work together to manage anomalies and other system problems. When problems occur, the level of control autonomy can be adjusted, so that operators and software agents can work together on diagnosis and recovery. In 1997 adjustable autonomy software was developed to manage gas transfer and storage in a closed life support test. Four crewmembers lived and worked in a chamber for 91 days, with both air and water recycling. CO2 was converted to O2 by gas processing systems and wheat crops. With the automation software, significantly fewer hours were spent monitoring operations. System-level validation testing of the software by interactive hybrid simulation revealed problems both in software requirements and implementation. Since that time, we have been developing multi-agent approaches for automation software and human operators, to cooperatively control systems and manage problems. Each new capability has been tested and demonstrated in realistic dynamic anomaly scenarios, using the hybrid simulation tool

StocHy: automated verification and synthesis of stochastic processes

StocHy is a software tool for the quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description of stochastic models and constructs an equivalent SHS model. The tool allows to (i) simulate the SHS evolution over a given time horizon; and to automatically construct formal abstractions of the SHS. Abstractions are then employed for (ii) formal verification or (iii) control (policy, strategy) synthesis. StocHy allows for modular modelling, and has separate simulation, verification and synthesis engines, which are implemented as independent libraries. This allows for libraries to be easily used and for extensions to be easily built. The tool is implemented in C++ and employs manipulations based on vector calculus, the use of sparse matrices, the symbolic construction of probabilistic kernels, and multi-threading. Experiments show StocHy's markedly improved performance when compared to existing abstraction-based approaches: in particular, StocHy beats state-of-the-art tools in terms of precision (abstraction error) and computational effort, and finally attains scalability to large-sized models (12 continuous dimensions). StocHy is available at www.gitlab.com/natchi92/StocHy

Modeling and Control for Smart Grid Integration of Solar/Wind Energy Conversion System

Performance optimization, system reliability and operational efficiency are key characteristics of smart grid systems. In this paper a novel model of smart grid-connected PV/WT hybrid system is developed. It comprises photovoltaic array, wind turbine, asynchronous (induction) generator, controller and converters. The model is implemented using MATLAB/SIMULINK software package. Perturb and observe (P&O) algorithm is used for maximizing the generated power based on maximum power point tracker (MPPT) implementation. The dynamic behavior of the proposed model is examined under different operating conditions. Solar irradiance, temperature and wind speed data is gathered from a grid connected, 28.8kW solar power system located in central Manchester. Real-time measured parameters are used as inputs for the developed system. The proposed model and its control strategy offer a proper tool for smart grid performance optimization

Model Based Synthesis of Control Software from System Level Formal Specifications

Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of embedded systems control software. We present an algorithm, along with a tool QKS implementing it, that from a formal model (as a Discrete Time Linear Hybrid System) of the controlled system (plant), implementation specifications (that is, number of bits in the Analog-to-Digital, AD, conversion) and System Level Formal Specifications (that is, safety and liveness requirements for the closed loop system) returns correct-by-construction control software that has a Worst Case Execution Time (WCET) linear in the number of AD bits and meets the given specifications. We show feasibility of our approach by presenting experimental results on using it to synthesize control software for a buck DC-DC converter, a widely used mixed-mode analog circuit, and for the inverted pendulum.Comment: Accepted for publication by ACM Transactions on Software Engineering and Methodology (TOSEM

Analysis and Design of Hybrid Control Systems

Different aspects of hybrid control systems are treated: analysis, simulation, design and implementation. A systematic methodology using extended Lyapunov theory for design of hybrid systems is developed. The methodology is based on conventional control designs in separate regions together with a switching strategy. Dynamics are not well defined if the control design methods lead to fast mode switching. The dynamics depend on the salient features of the implementation of the mode switches. A theorem for the stability of second order switching together with the resulting dynamics is derived. The dynamics on an intersection of two sliding sets are defined for two relays working on different time scales. The current simulation packages have problems modeling and simulating hybrid systems. It is shown how fast mode switches can be found before or during simulation. The necessary analysis work is a very small overhead for a modern simulation tool. To get some experience from practical problems with hybrid control the switching strategy is implemented in two different software environments. In one of them a time-optimal controller is added to an existing PID controller on a commercial control system. Successful experiments with this hybrid controller shows the practical use of the method