Name
Abstract | ||
|---|---|---|
The control logic in the traditional interlocking depends on human's experience, lacking a unified generation and verification method. In this paper, we use Petri nets to model railway stations and then obtain the mathematically optimal control logic to ensure safety and liveness. First, we use a modular method based on its devices including track segments, signals and switches. The interlocking condition is formulated as a set of linear constraints. According to the supervisory control theory, monitor places can be calculated to enforce the constraints. Finally the control logic derived from the monitor place is proven maximally permissive. Finally we take the simulation to investigate the performance of the control logic. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/SAFEPROCESS45799.2019.9213387 | 2019 CAA Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS) |
Keywords | DocType | ISBN |
Railway Station Control,Petri Nets,Modeling,Supervisory Control Theory | Conference | 978-1-7281-0681-6 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||