Sign in
Interdependence quantification for compositional control synthesis with an application in vehicle safety systems.
Stanley W. Smith
Petter Nilsson
Necmiye Ozay
Published in:
CDC (2016)
Keyphrases
</>
intelligent vehicles
safety critical
mechanical systems
management system
distributed systems
autonomous systems
learning systems
formal methods
advanced driver assistance systems
neural network
information systems
control system
robot control
program synthesis
human machine interface
road safety