Skip to content

Now don't need to product all the Buchi automata of multi-agent

Notifications You must be signed in to change notification settings

bittdy/ProductFreeLinearTemporalLogic

Repository files navigation

ProductFreeLinearTemporalLogic

Now don't need to product all the Buchi automata of multi-agent

experimental environment

avatar

decouple of product automata

Through specifying couple task, we can distinguish the couple edges

1.How to find couple edges.
2.Prove: The decouple product automata doesn't damage the completeness of solutions.
3.Construct the motion path for the RRC(request-reply-confirm) connect

request-reply-confirm

To complete the fully distribute, we design a communication mechanism called 'request-reply-confirm'

1.Receding horizon: find the nearest request.
2.Solve optimization problem to find which agent to reply corresponding request(How about multi-request).
3.After the confirm of agent, what to do next???

About

Now don't need to product all the Buchi automata of multi-agent

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published