Matches in SemOpenAlex for { <https://semopenalex.org/work/W2610306339> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- W2610306339 abstract "The design and realization of an on line control system for automated guided vehicles (AGV) is addressed. A synthesis method is proposed based on the use of the model checking tool for timed automata UPPAAL. This system has to route the vehicles while ensuring the system safeness, a good coordination between vehicles and the optimization of performance criteria. This problem is like synthesizing a Ramadge and Wonham supervisor combined with routing and optimizing functions, that is an ongoing problem within the supervisory control theory. The proposed concepts are validated through a software tool suite based on UPPAAL in order to generate optimal traces and interact with an AGV system emulated with Arena." @default.
- W2610306339 created "2017-05-12" @default.
- W2610306339 creator A5038115244 @default.
- W2610306339 creator A5041838419 @default.
- W2610306339 creator A5076036217 @default.
- W2610306339 creator A5076660451 @default.
- W2610306339 creator A5083894736 @default.
- W2610306339 date "2009-11-19" @default.
- W2610306339 modified "2023-10-17" @default.
- W2610306339 title "Using UPPAAL for the secure and optimal control of AGV fleets" @default.
- W2610306339 hasPublicationYear "2009" @default.
- W2610306339 type Work @default.
- W2610306339 sameAs 2610306339 @default.
- W2610306339 citedByCount "1" @default.
- W2610306339 countsByYear W26103063392012 @default.
- W2610306339 crossrefType "proceedings-article" @default.
- W2610306339 hasAuthorship W2610306339A5038115244 @default.
- W2610306339 hasAuthorship W2610306339A5041838419 @default.
- W2610306339 hasAuthorship W2610306339A5076036217 @default.
- W2610306339 hasAuthorship W2610306339A5076660451 @default.
- W2610306339 hasAuthorship W2610306339A5083894736 @default.
- W2610306339 hasBestOaLocation W26103063391 @default.
- W2610306339 hasConcept C127413603 @default.
- W2610306339 hasConcept C154945302 @default.
- W2610306339 hasConcept C171146098 @default.
- W2610306339 hasConcept C2775924081 @default.
- W2610306339 hasConcept C41008148 @default.
- W2610306339 hasConceptScore W2610306339C127413603 @default.
- W2610306339 hasConceptScore W2610306339C154945302 @default.
- W2610306339 hasConceptScore W2610306339C171146098 @default.
- W2610306339 hasConceptScore W2610306339C2775924081 @default.
- W2610306339 hasConceptScore W2610306339C41008148 @default.
- W2610306339 hasLocation W26103063391 @default.
- W2610306339 hasLocation W26103063392 @default.
- W2610306339 hasOpenAccess W2610306339 @default.
- W2610306339 hasPrimaryLocation W26103063391 @default.
- W2610306339 hasRelatedWork W2130043461 @default.
- W2610306339 hasRelatedWork W2350741829 @default.
- W2610306339 hasRelatedWork W2358668433 @default.
- W2610306339 hasRelatedWork W2367706718 @default.
- W2610306339 hasRelatedWork W2376932109 @default.
- W2610306339 hasRelatedWork W2382290278 @default.
- W2610306339 hasRelatedWork W2390279801 @default.
- W2610306339 hasRelatedWork W2748952813 @default.
- W2610306339 hasRelatedWork W2899084033 @default.
- W2610306339 hasRelatedWork W2530322880 @default.
- W2610306339 isParatext "false" @default.
- W2610306339 isRetracted "false" @default.
- W2610306339 magId "2610306339" @default.
- W2610306339 workType "article" @default.