Login / Signup
Cooperability in Train Control Systems: Specification of Scenarios using Open Nets.
Julia Padberg
L. Jansen
Hartmut Ehrig
Eckehard Schnieder
Reiko Heckel
Published in:
Trans. SDPS (2001)
Keyphrases
</>
control system
real world
closed loop
control algorithm
formal specification
database
multi agent systems
control strategy
control law
specification language
reactive systems
protocol specification