Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application

Banach, Richard; Schaik, Pieter Van; Verhulst, Eric

doi:10.15439/2015f132

Cited by 7 publications

(6 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…6 Putting aside levity, the aim of this paper is to demonstrate that Hybrid Event-B [8,9] can deal fluently with the problem of modeling the kind of impulsive physics exhibited by the Rugby Club Problem. By now there are quite a number of existing case studies using Hybrid Event-B [7,6,2,3,11,5,4], but none of the ones published hitherto has focused on impulsive physics.…”

Section: Introductionmentioning

confidence: 99%

Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem

Banach

2018

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Normally, the passengers on urban rail systems remain fairly stationary, allowing for a relatively straightforward approach to controlling the dynamics of the system, based on the total rest mass of the train and passengers. However when a mischievous rugby club board an empty train and then run and jump-stop during the braking process, they can disrupt the automatic mechanisms for aligning train and platform doors. This is the rugby club problem for automated urban train control. A simple scenario of this kind is modelled in Hybrid Event-B, and sufficient conditions are derived for the prevention of the overshoot caused by the jump-stop. The challenges of making the model more realistic are discussed, and a strategy for dealing with the rugby club problem, when it cannot be prevented, is proposed.

show abstract

Section: Introductionmentioning

confidence: 99%

Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem

Banach

2018

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…It proved possible to eliminate all use of tIIi's thereby. Besides this, in [10], a PID controller case study for yaw control of an e-vehicle is developed using the hypergraph architecture pattern, and confirms its good structural properties.…”

Section: The Hypergraph Project Architecture Patternmentioning

confidence: 61%

“…Larger case studies have already been mentioned: [7,8,10]. The case studies here are restricted to a small development done in discrete Event-B in Section 10.1, and, in Section 10.2, there is a reexamination of the European Train Control System, first examined using Hybrid Event-B as a single machine in PaperI.…”

Section: Small Project Case Studiesmentioning

confidence: 99%

“…arguments that -according to the name space conventions defined in Section 3.1-contained sufficient data to disambiguate potential name clashes arising from name coincidences in local name spaces), the assumed sufficient injectivity of " " ensures no inadvertent clashes occur in M . 10 It remains to check that every system trace of P corresponds to a system trace of M . We proceed by induction.…”

Section: [41] Considering All Occurrences Of Differential Equations mentioning

confidence: 99%

See 1 more Smart Citation

Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines

Banach

Butler

Qin

et al. 2017

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

Hybrid Event-B, initially introduced for single machines to add continuously varying behaviour to discrete change of state in Event-B, is extended to cater for multiple cooperating machines. Multiple machine working is mediated by INTERFACE and PROJECT constructs. The former encapsulates a set of variables, their invariants and initialisations, in a form that several machines can exploit simultaneously. The latter organises the set of cooperating machines and interfaces into a coherent system. Machine instantiation and composition via interfaces are discussed. Machine decomposition is explored in this framework. Multi-machine refinement is described. A hypergraph project architecture is proposed. Two small case studies, on power switching and on the European Train Control System (the latter treated earlier within the single machine formalism), illustrate these mechanisms. The semantics of interacting multi-machine systems is described, and proof obligations that ensure correctness are covered.

show abstract

“…The control of a hybrid system is a challenge due to the requirements of asynchronous reactions to the discrete events as well as to the continuous adjustment of some controlled outputs. The CPSs involve interdependencies between physical behavior and digital control [13]. The control system implementation should be based on asynchronous interrupts and synchronous discrete time reactions.…”

mentioning

confidence: 99%

Method for Approaching the Cyber-Physical Systems

Leţia

Kilyen

2016

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Abstract-The main topics of the Cyber-Physical Systems (CPSs) cover the specification, modeling, control, design, verification and testing. The CPSs implementation consists of reactive programs conceived using models that are capable to sustain the mentioned activities. Component diagrams (introduced by Unified Modeling Language) are used here for the architecture design, with the goal to split the CPS complexity into smaller entities that are easier to tackle. All the components are modeled by Fuzzy Logic Enhanced Time Petri Nets (FLETPNs) that can simultaneously describe the discrete event and the time discrete features. This unique and compact approach facilitates the control synthesis, the software design, the verification and the testing.An example of application to the control of a system composed of a wind turbine generator, a photo-voltaic generator and loads is used to show the model utilization and its benefits. I. APPROACHES OF THE CYBER-PHYSICAL SYSTEMSCPSs integrate the dynamics of the physical processes with those of the software and communication. There are some surveys that present the main characteristics, the main domains where they are applied and the main topics of the CPSs [10], [11], [12]. The main topics of the CPSs cover the specification, the modeling, the control, the design, the verification and the testing. The CPSs implementation consists of reactive programs that are based on models that are capable to support the mentioned activities.The main goal of the current research is to conceive a control system that concurrently reacts to discrete events and continuous modifications of plant state. The target is a set of interacting dynamic models capable to approach the following specification:• the reaction to synchronous and asynchronous (plant) events that are signaled by continuous variables (instead of single level events) • the continuous time reaction to modification of some (plant output) variables • the reaction control signals that belong to continuous domains (the discrete domains, as the binary set, should be particular cases) Some reactions require the execution of activities involving non-ignorable durations and could have real-time constraints that have to be fulfilled. This requirement leads to the conclusion that the target model has to be capable to describe concurrent behavior.A relevant issue is to conceive a model that is capable to describe the controller behavior and its structure. A practical goal is to make possible the verification that the implemented model fulfills the specified requirements.The implementation of controllers on digital computers supposes that the information of continuous variables can be represented with a limited and tolerated accuracy (due to the limited length of the number representation) and the calculus can add other losses of the precision. On the other hand, the continuous time reactions are not possible to be implemented on digital computers. For this reason, instead of continuous time models, the discrete time models are used. The l...

show abstract

Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application

Cited by 7 publications

References 25 publications

Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem

Issues in Automated Urban Train Control: ‘Tackling’ the Rugby Club Problem

Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines

Method for Approaching the Cyber-Physical Systems

Contact Info

Product

Resources

About