Verifying schedulability of tasks in ROS-based systems
AbstractRobot operating system (ROS) is a new programming framework for developing artificial intelligence systems, like robots, unmanned systems, etc. These systems are usually real-time systems....
View ArticlePIChecker: A POR and Interpolation based Verifier for Concurrent Programs...
AbstractPIChecker is a tool for verifying reachability properties of concurrent C programs. It moderates the trace-space explosion problem, aggravated by thread alternation, through utilizing the...
View ArticleVerifying Chips Design at RTL Level
AbstractWith the increasing complexity of chips design, the design errors or defects will inevitably increase. It is difficult to detect corresponding design logic problems with some conventional...
View ArticleEffects of microwave drying on color change, phenolic substance content and...
AbstractThis study investigates the effect of microwave drying on the color change of different parts of persimmon slices, focusing on the mechanism of enzymatic browning. The samples were partitioned...
View ArticleAn Approach to Agent Path Planning Under Temporal Logic Constraints
AbstractThe capability of path planning is a necessity for an agent to accomplish tasks autonomously. Traditional path planning methods fail to complete tasks that are constrained by temporal...
View ArticleA Dynamic Parameter Adaptive Path Planning Algorithm
AbstractPath planning in complex environments has always been a focus of research for scholars both domestically and internationally. This study addresses the challenge of path planning that combines...
View Article