A Formal Approach for the Verification of Control Systems in Autonomous Driving Applications

2017 ◽  
pp. 178-189
Author(s):  
Paweł Skruch ◽  
Marek Długosz ◽  
Pawel Markiewicz
Keyword(s):  
Control Systems ◽  
Autonomous Driving ◽  
Formal Approach

scholarly journals Intelligent Tire Sensor-Based Real-Time Road Surface Classification Using an Artificial Neural Network

Sensors ◽  
2021 ◽  
Vol 21 (9) ◽  
pp. 3233
Author(s):  
Dongwook Lee ◽  
Ji-Chul Kim ◽  
Mingeuk Kim ◽  
Hanmin Lee
Keyword(s):  
Neural Network ◽  
Control Systems ◽  
Real Time ◽  
Vertical Axis ◽  
Autonomous Driving ◽  
Classification Algorithm ◽  
Road Surface ◽  
Electronic Control ◽  
Surface Classification ◽  
Acceleration Signals

Vehicles today have many advanced driver assistance control systems that improve vehicle safety and comfort. With the development of more sophisticated vehicle electronic control and autonomous driving technology, the need and effort to estimate road surface conditions is increasing. In this paper, a real-time road surface classification algorithm, based on a deep neural network, is developed using a database collected through an intelligent tire sensor system with a three-axis accelerometer installed inside the tire. Two representative types of network, fully connected neural network (FCNN) and convolutional neural network (CNN), are learned with each of the three-axis acceleration sensor signals, and their performances were compared to obtain an optimal learning network result. The learning results show that the road surface type can be classified in real-time with sufficient accuracy when the longitudinal and vertical axis acceleration signals are trained with the CNN. In order to improve classification accuracy, a CNN with multiple input that can simultaneously learn 2-axis or 3-axis acceleration signals is suggested. In addition, by analyzing how the accuracy of the network is affected by number of classes and length of input data, which is related to delay of classification, the appropriate network can be selected according to the application. The proposed real-time road surface classification algorithm is expected to be utilized with various vehicle electronic control systems and makes a contribution to improving vehicle performance.

scholarly journals Design and development of software industrial controllers based on status

2021 ◽  
Vol 64 ◽  
pp. 229-238
Author(s):  
O Boyko ◽  
E Voskoboinyk ◽  
S Protsenko ◽  
D Slavinskyi
Keyword(s):  
Control System ◽  
Software Development ◽  
Control Systems ◽  
Verbal Description ◽  
Control Algorithms ◽  
System Software ◽  
Design And Development ◽  
Formal Approach ◽  
Automation Systems ◽  
State Graphs

Purpose. Propose a formal approach to the design and development of control system software. The methods. The bulk of the tasks solved by modern automation systems require the implementation of control algorithms based on finite state machines. When developing software for control systems, it is advisable to graphically represent control algorithms, as their design, analysis and operation are more understandable to consultants. Therefore, the proposed approach consists of three stages: drawing up a verbal description of the algorithm of the technological process, designing the control system software in the form of a state graph and software development. Findings. The paper analyzes the current state of design and software development of control systems based on industrial controllers. Based on this, it is established that there is currently no systematic approach to this issue, in the technical documentation and literature, as well as in training courses provided by companies producing hardware and software for industrial controllers, only general issues related to the use of their development environments are considered. and standard libraries. Based on this, the relevance of creating a formal approach to software development of industrial controllers. The originality. For the first time, a formal approach to the design and development of control system software based on programmable logic controllers in the Ladder Diagram language has been proposed. Practical implementation. The obtained approach allows to perform the transition from state graphs to their software implementation using only typical structural elements and requires only their adjustment according to the conditions and actions of the transition arcs. The development of this study involves solving complex issues of design and software development of industrial controllers based on state graphs in order to formalize them.

scholarly journals Formal Development of System of Systems

2013 ◽  
Vol 2013 ◽  
pp. 1-10
Author(s):  
Maryam Kamali ◽  
Mats Neovius ◽  
Luigia Petre ◽  
Petter Sandvik
Keyword(s):  
Control Systems ◽  
System Of Systems ◽  
Proof Of Concept ◽  
Formal Approach ◽  
Formal Development ◽  
Formal Integration

Characterising for contemporary systems is their dependence on constituent systems to provide information, functionality, and scalability. Moreover, as the tasks that systems perform are ever more intimate and critical in their nature, reliability and correctness are great concerns. On these matters, we outline a methodology for formal integration of systems. We claim this formal approach to assist in managing the complexity and correctness, in preserving reliability and in respecting the independence of the constituent systems. As a proof of concept, we integrate two in-house control systems specified independently in the Event-B language with the Rodin Platform tool. Moreover, we show how to introduce a new functionality that is only possible due to the integration. Hence, we formally construct a system of systems and provide the methods for hierarchical integration of those.

scholarly journals A formal approach for the construction and verification of railway control systems

2009 ◽  
Vol 23 (2) ◽  
pp. 191-219 ◽  
Author(s):  
Anne E. Haxthausen ◽  
Jan Peleska ◽  
Sebastian Kinder
Keyword(s):  
Control Systems ◽  
Formal Approach
Sign in / Sign up

Export Citation Format

Share Document