Login / Signup
Property-Based Modelling and Validation of a CBTC Zone Controller in Event-B.
Mathieu Comptier
Michael Leuschel
Luis-Fernando Mejia
Julien Molinero Perez
Mareike Mutz
Published in:
RSSRail (2019)
Keyphrases
</>
event detection
control system
real time
optimal control
model validation
website
control architecture
closed loop
dynamic programming
spatio temporal
control method
control scheme
event driven
multi agent systems
controller design
adaptive fuzzy
case study
events occurring
delayed feedback