CTFTP: A Test Case Generation Strategy for General Boolean Expressions Based on Ordered Binary Label-Driven Petri Nets
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Access"
DOI: 10.1109/access.2020.3025825
Abstract: Boolean expression testing requires certain types of tests for each Boolean expression in program specification or implementation. Fault-based testing essentially uses a subset of the exhaustive test set to detect certain special types of faults.… read more here.
Keywords: boolean expressions; generation; general boolean; test ... See more keywords
A Nonsmooth Approach to Controller Synthesis for Boolean Specifications
Sign Up to like & getrecommendations! Published in 2021 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2020.3035467
Abstract: Robotic systems have been proposed as a solution to a wide array of problems, from autonomous warehousing to precision agriculture. Yet these systems typically require satisfaction of multiple constraints, such as collision avoidance and connectivity… read more here.
Keywords: article; controller synthesis; controller; barrier functions ... See more keywords