SMT-Based Stability Verification of an Industrial Switched PI Control Systems.
Stylianos BasagiannisLudovico BattistaAnna BecchiAlessandro CimattiGeorgios GiantamidisSergio MoverAlberto TacchellaStefano TonettaVassilios A. TsachouridisPublished in: DSN-W (2023)
Keyphrases
- control system
- industrial automation
- fuzzy control systems
- stability analysis
- industrial applications
- pi control
- model checking
- industrial environment
- safety analysis
- asynchronous circuits
- fuzzy logic
- formal verification
- quality improvement
- artificial intelligence
- stability criterion
- multi agent systems
- technology transfer
- signature verification
- feature selection
- control law
- expert systems
- control scheme
- genetic algorithm