Automatic verification of linear controller software.
Miroslav PajicJunkil ParkInsup LeeGeorge J. PappasOleg SokolskyPublished in: EMSOFT (2015)
Keyphrases
- software development
- software systems
- software tools
- control system
- software design
- software maintenance
- control algorithm
- optimal control
- real time
- software architecture
- computer systems
- user interface
- controller design
- robotic manipulator
- lyapunov stability
- transfer function
- software components
- control method
- design patterns
- source code
- information systems
- neural network