Numerically-aided Deductive Safety Proof for a Powertrain Control System.
Nikos AréchigaJames KapinskiJyotirmoy V. DeshmukhAndré PlatzerBruce H. KroghPublished in: Electron. Notes Theor. Comput. Sci. (2015)
Keyphrases
- control system
- safety analysis
- proof planning
- closed loop
- fuzzy logic
- control strategy
- theorem proving
- fuzzy control
- real time
- control algorithm
- control method
- control center
- proof search
- theorem prover
- matlab simulation
- control architecture
- data sets
- hypothesis formation
- control law
- fault model
- concept formation
- pid control
- controller design
- pid controller
- control scheme
- mathematical proofs