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

868 questions

986 answers


438 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] 


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

by (139k points)
selected by

Related questions

Imprint | Privacy Policy