Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns.
Ricardo CaldasRazan GhzouliAlessandro V. PapadopoulosPatrizio PelliccioneDanny WeynsThorsten BergerPublished in: CoRR (2021)
Keyphrases
- control theory
- software engineering
- control law
- formal methods
- design patterns
- dynamical systems
- software systems
- linear systems
- artificial intelligence
- search algorithm
- control algorithm
- communication delays
- real time
- variable structure
- networked control systems
- differential equations
- optimization algorithm
- software development
- programming language
- computer vision
- neural network