Dynamic State Machines for Formalizing Railway Control System Specifications

2015 ◽  
pp. 93-109 ◽  
Author(s):  
Roberto Nardone ◽  
Ugo Gentile ◽  
Adriano Peron ◽  
Massimo Benerecetti ◽  
Valeria Vittorini ◽  
...  
Keyword(s):  
Control System ◽  
Dynamic State ◽  
State Machines

From Dynamic State Machines to Promela

2019 ◽  
pp. 56-73
Author(s):  
Massimo Benerecetti ◽  
Ugo Gentile ◽  
Stefano Marrone ◽  
Roberto Nardone ◽  
Adriano Peron ◽  
...  
Keyword(s):  
Dynamic State ◽  
State Machines

scholarly journals A Novel Model for Adaptive Control Systems A State Machine Approach

2010 ◽  
Vol 5 (3) ◽  
pp. 292
Author(s):  
Fernando Valles-Barajas
Keyword(s):  
Adaptive Control ◽  
Control System ◽  
Control Systems ◽  
Modeling Language ◽  
State Machines ◽  
Adaptive Control System ◽  
Adaptive Control Systems ◽  
Indirect Adaptive Control ◽  
High Level ◽  
Novel Model

In this paper a new model, based on state machines, of adaptive control systems is presented. Due to its high level of expressiveness, UML was chosen as the modeling language. In particular the paper presents a model of an indirect adaptive control system. This model can be used to document and to have a better understanding of adaptive control systems.

Asynchronous finite-state machines - A novel control system class.

AIAA Journal ◽  
1969 ◽  
Vol 7 (3) ◽  
pp. 385-393
Author(s):  
CHARLES R. WALLI ◽  
IRVING S. REED
Keyword(s):  
Control System ◽  
Finite State Machines ◽  
State Machines ◽  
Finite State

A Design Method of Multiple Protocols Communication Module in Semiconductor Equipment Simulation Platform

2012 ◽  
Vol 462 ◽  
pp. 516-523
Author(s):  
Wei Wang ◽  
Long Qing Zou ◽  
Hua Xu ◽  
You Wei An ◽  
Pei Fa Jia ◽  
...  
Keyword(s):  
Control System ◽  
Data Transmission ◽  
Design Method ◽  
Dynamic State ◽  
Simulation Platform ◽  
Chamber System ◽  
Static State ◽  
Module Design ◽  
Communication Module

This paper presents a design method for communication module design in semiconductor equipment simulation platform. There are several kinds of standardized protocols in semiconductor equipments intra communication, the method with which these standardized protocols can be configured and integrated in single simulation platform. These protocols can be configured statically and dynamically respectively. In static state, protocol configuration provides various protocols for chosen and edit. In the dynamic state, the virtual devices can be communicated with control system with communication module. As a case study, a process chamber system simulator with designed the communication module has been illustrated. The designed communication module accomplishes the data transmission between control system and the chamber simulation system. The devices in chamber system receive the instruction form control system and execute the required actions. The experiment results show that the simulation platform is feasible and effective.

The Tore Supra LHCD control system: new improvements using PLCs and state machines

2001 ◽  
Vol 56-57 ◽  
pp. 767-771 ◽  
Author(s):  
J.Y Journeaux ◽  
P Froissard ◽  
F Kazarian ◽  
J Baudet ◽  
P Pastor ◽  
...  
Keyword(s):  
Control System ◽  
State Machines

scholarly journals Dynamic state machines for modelling railway control systems

2017 ◽  
Vol 133 ◽  
pp. 116-153 ◽  
Author(s):  
M. Benerecetti ◽  
R. De Guglielmo ◽  
U. Gentile ◽  
S. Marrone ◽  
N. Mazzocca ◽  
...  
Keyword(s):  
Control Systems ◽  
Dynamic State ◽  
State Machines

scholarly journals PID Controller-based Object Tracking and Speed Control System for Wheeled Soccer Robot

2017 ◽  
Author(s):  
Indra Riyanto
Keyword(s):  
Control System ◽  
Pid Controller ◽  
Detection System ◽  
Speed Control ◽  
Dynamic State ◽  
Soccer Robot ◽  
Speed Control System ◽  
The Right ◽  
Static Conditions ◽  
Robot Position

This paper discussed about the detection system of ball objects and speed control system of wheeled robot football using PID controller. The object detection system uses behavior-based control methods based on the orientation of the robot position against the object position. The position of the robot is controlled to keep it perpendicular to the ball. When the position of the robot is perpendicular to the ball, the robot will move with a certain speed that is controlled by the PID controller based on the distance between the robot and the ball. Test results in static conditions (static balls) show the robot can detect the object of the ball, either when the position of the object perpendicular, to the right, or left of the robot. In testing the dynamic state (moving ball) with random directions, the robot can also move dynamically as the ball position changes.

Sign in / Sign up

Export Citation Format

Share Document