SAT-Based Control of Concurrent Software for Deadlock Avoidance.
Jason StanleyHongwei LiaoStéphane LafortunePublished in: IEEE Trans. Autom. Control. (2015)
Keyphrases
- software tools
- control strategy
- neural network
- software systems
- control system
- software development
- control unit
- computer systems
- test cases
- data acquisition
- real time
- answer set programming
- software design
- ai planning
- search algorithm
- robotic systems
- embedded systems
- optimal control
- software developers
- mutual exclusion
- object oriented