Cooperative Verification of PLC Programs Using CoVeriTeam: Towards a reliable and secure Industrial Control Systems.
Chibuzo UkegbuHoda MehrpouyanPublished in: CPS-IoT Week Workshops (2023)
Keyphrases
- control system
- cooperative
- industrial automation
- cryptographic protocols
- integrity verification
- symbolic execution
- closed loop
- multi agent systems
- hardware designs
- critical infrastructure
- fuzzy logic
- cost effective
- control strategy
- control algorithm
- control law
- fuzzy control
- cooperative learning
- model checking
- real time
- fuzzy controller
- industrial applications
- control scheme
- multi agent
- java bytecode
- control method
- signature verification
- programming language
- high security
- neural network
- fault detection and isolation
- lightweight
- quality improvement
- authentication protocol
- standard model
- security protocols
- face verification
- computer programs