Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

912 questions

1k answers

1.4k comments

441 users

0 votes

How do we check this diagram in the tool for F G[a SU b]?

I tried below 2 methods and I want to know which one is correct:

1) G F((!a &!b) & X(!a & b)) -> (F G[a SU b]) 

2) G((!a &!b) & X(!a & b)) -> (F G[a SU b]) 
I get confused on how to enter state transitions in tool when there is a Globally holding transiton of s0 -> s1, s1->s0.

in * TF "Emb. Sys. and Rob." by (1k points)

1 Answer

+1 vote
 
Best answer

Neither is correct. Better try

!a &!b & G (!a &!b & X(!a & b) | !a & b & X(!a & !b)) -> F G[a SU b] 

or

!a &!b & G ((!a &!b -> X(!a & b)) & (!a & b -> X(!a & !b))) -> F G[a SU b] 

by (142k points)
selected by

Related questions

0 votes
1 answer
asked Sep 1, 2022 in * TF "Emb. Sys. and Rob." by learner (330 points)
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...