FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105862707> ?p ?o ?g. }

• W2105862707 endingPage "297" @default.
• W2105862707 startingPage "285" @default.
• W2105862707 abstract "Many robot systems employ logic-based or reactive controllers, making them hybrid systems (i.e., mixed discrete continuous). However, designing such control laws in a systematic manner remains a challenging task. In this paper, we apply the formal modeling paradigm to a team of mobile robots. The linear hybrid automata modeling framework is used to describe the high-level design, and the verification software HyTech is used for symbolic analysis of the description. The goal is to symbolically quantify system-level performance as a function of the design parameters, for the purpose of optimizing and synthesizing design parameters, verifying safe operation, and quantitatively exploring tradeoff issues. In order to make the analysis tractable, a series of restrictive assumptions and simplifications must be made-some dictated by the linear hybrid automata model and others necessitated by computational cost. We comment on the restrictiveness of these assumptions and the overall utility of this automated analysis approach in designing complex robotic systems" @default.
• W2105862707 created "2016-06-24" @default.
• W2105862707 creator A5069288026 @default.
• W2105862707 creator A5081305477 @default.
• W2105862707 date "2007-05-01" @default.
• W2105862707 modified "2023-09-27" @default.
• W2105862707 title "Using Formal Modeling With an Automated Analysis Tool to Design and Parametrically Analyze a Multirobot Coordination Protocol: A Case Study" @default.
• W2105862707 cites W101508493 @default.
• W2105862707 cites W1488948284 @default.
• W2105862707 cites W1489501223 @default.
• W2105862707 cites W1490985464 @default.
• W2105862707 cites W1529084875 @default.
• W2105862707 cites W1534714322 @default.
• W2105862707 cites W1598634407 @default.
• W2105862707 cites W1604594753 @default.
• W2105862707 cites W1606563312 @default.
• W2105862707 cites W1874725288 @default.
• W2105862707 cites W1905380539 @default.
• W2105862707 cites W1990042683 @default.
• W2105862707 cites W1994511055 @default.
• W2105862707 cites W2000947342 @default.
• W2105862707 cites W2004463571 @default.
• W2105862707 cites W2041859735 @default.
• W2105862707 cites W2069913713 @default.
• W2105862707 cites W2103128566 @default.
• W2105862707 cites W2105826449 @default.
• W2105862707 cites W2111985335 @default.
• W2105862707 cites W2124623089 @default.
• W2105862707 cites W2124778357 @default.
• W2105862707 cites W2128410140 @default.
• W2105862707 cites W2130519480 @default.
• W2105862707 cites W2132714442 @default.
• W2105862707 cites W2258090894 @default.
• W2105862707 cites W2468534332 @default.
• W2105862707 cites W2476491145 @default.
• W2105862707 cites W2502452588 @default.
• W2105862707 cites W2490346556 @default.
• W2105862707 doi "https://doi.org/10.1109/tsmca.2006.886378" @default.
• W2105862707 hasPublicationYear "2007" @default.
• W2105862707 type Work @default.
• W2105862707 sameAs 2105862707 @default.
• W2105862707 citedByCount "8" @default.
• W2105862707 countsByYear W21058627072012 @default.
• W2105862707 countsByYear W21058627072013 @default.
• W2105862707 countsByYear W21058627072015 @default.
• W2105862707 crossrefType "journal-article" @default.
• W2105862707 hasAuthorship W2105862707A5069288026 @default.
• W2105862707 hasAuthorship W2105862707A5081305477 @default.
• W2105862707 hasConcept C110251889 @default.
• W2105862707 hasConcept C111498074 @default.
• W2105862707 hasConcept C112505250 @default.
• W2105862707 hasConcept C119857082 @default.
• W2105862707 hasConcept C127413603 @default.
• W2105862707 hasConcept C138885662 @default.
• W2105862707 hasConcept C142724271 @default.
• W2105862707 hasConcept C154945302 @default.
• W2105862707 hasConcept C199360897 @default.
• W2105862707 hasConcept C201995342 @default.
• W2105862707 hasConcept C204787440 @default.
• W2105862707 hasConcept C2776028153 @default.
• W2105862707 hasConcept C2776435913 @default.
• W2105862707 hasConcept C2780385302 @default.
• W2105862707 hasConcept C2780451532 @default.
• W2105862707 hasConcept C41008148 @default.
• W2105862707 hasConcept C41895202 @default.
• W2105862707 hasConcept C50897621 @default.
• W2105862707 hasConcept C71924100 @default.
• W2105862707 hasConcept C75606506 @default.
• W2105862707 hasConcept C80444323 @default.
• W2105862707 hasConcept C90509273 @default.
• W2105862707 hasConceptScore W2105862707C110251889 @default.
• W2105862707 hasConceptScore W2105862707C111498074 @default.
• W2105862707 hasConceptScore W2105862707C112505250 @default.
• W2105862707 hasConceptScore W2105862707C119857082 @default.
• W2105862707 hasConceptScore W2105862707C127413603 @default.
• W2105862707 hasConceptScore W2105862707C138885662 @default.
• W2105862707 hasConceptScore W2105862707C142724271 @default.
• W2105862707 hasConceptScore W2105862707C154945302 @default.
• W2105862707 hasConceptScore W2105862707C199360897 @default.
• W2105862707 hasConceptScore W2105862707C201995342 @default.
• W2105862707 hasConceptScore W2105862707C204787440 @default.
• W2105862707 hasConceptScore W2105862707C2776028153 @default.
• W2105862707 hasConceptScore W2105862707C2776435913 @default.
• W2105862707 hasConceptScore W2105862707C2780385302 @default.
• W2105862707 hasConceptScore W2105862707C2780451532 @default.
• W2105862707 hasConceptScore W2105862707C41008148 @default.
• W2105862707 hasConceptScore W2105862707C41895202 @default.
• W2105862707 hasConceptScore W2105862707C50897621 @default.
• W2105862707 hasConceptScore W2105862707C71924100 @default.
• W2105862707 hasConceptScore W2105862707C75606506 @default.
• W2105862707 hasConceptScore W2105862707C80444323 @default.
• W2105862707 hasConceptScore W2105862707C90509273 @default.
• W2105862707 hasIssue "3" @default.
• W2105862707 hasLocation W21058627071 @default.
• W2105862707 hasOpenAccess W2105862707 @default.
• W2105862707 hasPrimaryLocation W21058627071 @default.
• W2105862707 hasRelatedWork W1513749810 @default.
• W2105862707 hasRelatedWork W1518566078 @default.

• next