Integrating Runtime Verification into a Sounding Rocket Control System.
Benjamin HertzZachary LuppenKristin Yvonne RozierPublished in: NFM (2021)
Keyphrases
- control system
- model checking
- safety analysis
- fuzzy logic
- closed loop
- control algorithm
- real time
- signature verification
- real environment
- process control
- control law
- fuzzy control
- control scheme
- fuzzy controller
- controller design
- pid controller
- expert systems
- java card
- verification method
- functional verification
- temporal logic
- mathematical model
- dynamic environments
- artificial neural networks
- data sets