forked from VerifiableRobotics/LTL_stack
-
Notifications
You must be signed in to change notification settings - Fork 0
Start only the controller(automaton) executor
Kai Weng (Catherine) Wong edited this page Apr 11, 2018
·
7 revisions
- A specification in .slugsin format
- A YAML file that specifies the relationship of propositions with topics - Proposition YAML File. You need to list all the propositions and their corresponding
node_publish_topic
(for inputs) ornode_subscribe_topic
(for outputs).
Below is the simplest YAML file needed based on the tutorial example.
- Edit executor.launch. Replace the directories to the YAML file and the slugsin file.
- Save as a new file
<new_file.launch>
- Launch the file with
roslaunch <new_file.launch>
. - If you run
rostopic
, you should see input topics and output topics.