PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
March 3, 2026Expert Systems with Applications1 citations

Safety-assured decision support for ASV navigation via hybrid graph planning and timed automata verification

View Full Paper
HGHuilin GeMLMeng LiGWGuilin Wen

Key Points

  • Safety assurance was achieved through timed automata verification in navigation systems, enhancing overall reliability.
  • The decision support system employed hybrid graph planning to optimize navigation paths for autonomous surface vehicles.
  • This analysis utilized verification techniques to ensure safe decision-making processes in real-time navigation contexts.
  • Incorporating these methodologies may enable greater efficacy in real-world applications, although practical testing is required.
Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Ge et al. (2026) studied this question.

synapsesocial.com/papers/69a76732badf0bb9e87dff9fhttps://doi.org/10.1016/j.eswa.2026.131367
Ask AI
Helpful
Bookmark
Share
View Full Paper

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1Path Planning in the Case of Swarm Unmanned Surface Vehicles for Visiting Multiple Targets2023 · 11 citations
  2. 2Explainable Artificial Intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI2019 · 9,868 citations
  3. 3Constructing the generalized local Voronoi diagram from laser range scanner data2000 · 31 citations
  4. 4Temporal logic model predictive control2015 · 24 citations
  5. 5A formal verification framework for SysML activity diagrams2013 · 37 citations