Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems.
Youngdong KimIkhwan KimInhye KangTaehyoun KimMinyoung SungPublished in: J. Univers. Comput. Sci. (2014)
Keyphrases
- control system
- formal methods
- motion estimation
- motion control
- image sequences
- model checking
- software development
- permanent magnet synchronous
- motion analysis
- computer systems
- formal verification
- control signals
- safety analysis
- hardware designs
- software systems
- space time
- spatial and temporal
- formal model
- control algorithm
- software tools
- modeling language
- three dimensional
- motion tracking
- motion parameters
- knowledge sharing and reuse
- formal analysis
- static analysis
- control law
- motion patterns
- computer vision
- camera motion
- spatio temporal
- multimedia