A State Graph Manipulator Tool for Real-Time System Specification and Verification.
Pao-Ann HsiungFarn WangPublished in: RTCSA (1998)
Keyphrases
- real time
- formal verification
- control system
- low cost
- high level
- state space
- computer controlled
- graph structure
- spanning tree
- graph theory
- graph based algorithm
- asynchronous circuits
- specification language
- graph theoretic
- graph representation
- control method
- closed loop
- path planning
- random walk
- vision system
- high speed
- neural network