FRINK Linked Data Fragments server

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

• W1980925575 endingPage "359" @default.
• W1980925575 startingPage "338" @default.
• W1980925575 abstract "The ORCCAD programming environment for robotic systems allows users to address automatic control laws in continuous time at the lower levels, and aspects of discrete-time logic at the higher lev els. ORCCAD provides tools of specification, formal verification, simulation, and real-time code generation integrated within a set of dedicated graphical interfaces. Basic robot actions, which are in trinsically hybrid entities, are handled by the ROBOT-TASK struc ture, which smartly interfaces aspects of continuous and discrete time. ROBOT-TASKS are further logically composed into more complex actions, ROBOT-PROCEDURES, through a dedicated lan guage. While system performance can be checked using simula tions, crucial properties such as deadlock avoidance, safety, and liveness can be formally verified at both levels. The approach is illustrated with an underwater inspection mission." @default.
• W1980925575 created "2016-06-24" @default.
• W1980925575 creator A5001827841 @default.
• W1980925575 creator A5009896460 @default.
• W1980925575 creator A5011528117 @default.
• W1980925575 creator A5025907802 @default.
• W1980925575 creator A5045206743 @default.
• W1980925575 creator A5085591805 @default.
• W1980925575 creator A5089519901 @default.
• W1980925575 date "1998-04-01" @default.
• W1980925575 modified "2023-09-25" @default.
• W1980925575 title "The ORCCAD Architecture" @default.
• W1980925575 cites W1546220007 @default.
• W1980925575 cites W1603306670 @default.
• W1980925575 cites W1972249060 @default.
• W1980925575 cites W1986418050 @default.
• W1980925575 cites W1996109622 @default.
• W1980925575 cites W2059057465 @default.
• W1980925575 cites W2059328405 @default.
• W1980925575 cites W2081938726 @default.
• W1980925575 cites W2090161303 @default.
• W1980925575 cites W2097856935 @default.
• W1980925575 cites W2159542925 @default.
• W1980925575 cites W2167668895 @default.
• W1980925575 doi "https://doi.org/10.1177/027836499801700403" @default.
• W1980925575 hasPublicationYear "1998" @default.
• W1980925575 type Work @default.
• W1980925575 sameAs 1980925575 @default.
• W1980925575 citedByCount "101" @default.
• W1980925575 countsByYear W19809255752012 @default.
• W1980925575 countsByYear W19809255752013 @default.
• W1980925575 countsByYear W19809255752014 @default.
• W1980925575 countsByYear W19809255752015 @default.
• W1980925575 countsByYear W19809255752016 @default.
• W1980925575 countsByYear W19809255752017 @default.
• W1980925575 countsByYear W19809255752019 @default.
• W1980925575 countsByYear W19809255752020 @default.
• W1980925575 countsByYear W19809255752022 @default.
• W1980925575 countsByYear W19809255752023 @default.
• W1980925575 crossrefType "journal-article" @default.
• W1980925575 hasAuthorship W1980925575A5001827841 @default.
• W1980925575 hasAuthorship W1980925575A5009896460 @default.
• W1980925575 hasAuthorship W1980925575A5011528117 @default.
• W1980925575 hasAuthorship W1980925575A5025907802 @default.
• W1980925575 hasAuthorship W1980925575A5045206743 @default.
• W1980925575 hasAuthorship W1980925575A5085591805 @default.
• W1980925575 hasAuthorship W1980925575A5089519901 @default.
• W1980925575 hasConcept C120314980 @default.
• W1980925575 hasConcept C123657996 @default.
• W1980925575 hasConcept C127413603 @default.
• W1980925575 hasConcept C133731056 @default.
• W1980925575 hasConcept C142362112 @default.
• W1980925575 hasConcept C153349607 @default.
• W1980925575 hasConcept C154945302 @default.
• W1980925575 hasConcept C15569618 @default.
• W1980925575 hasConcept C159023740 @default.
• W1980925575 hasConcept C177264268 @default.
• W1980925575 hasConcept C199360897 @default.
• W1980925575 hasConcept C201995342 @default.
• W1980925575 hasConcept C2776760102 @default.
• W1980925575 hasConcept C2780451532 @default.
• W1980925575 hasConcept C32155586 @default.
• W1980925575 hasConcept C41008148 @default.
• W1980925575 hasConcept C90509273 @default.
• W1980925575 hasConceptScore W1980925575C120314980 @default.
• W1980925575 hasConceptScore W1980925575C123657996 @default.
• W1980925575 hasConceptScore W1980925575C127413603 @default.
• W1980925575 hasConceptScore W1980925575C133731056 @default.
• W1980925575 hasConceptScore W1980925575C142362112 @default.
• W1980925575 hasConceptScore W1980925575C153349607 @default.
• W1980925575 hasConceptScore W1980925575C154945302 @default.
• W1980925575 hasConceptScore W1980925575C15569618 @default.
• W1980925575 hasConceptScore W1980925575C159023740 @default.
• W1980925575 hasConceptScore W1980925575C177264268 @default.
• W1980925575 hasConceptScore W1980925575C199360897 @default.
• W1980925575 hasConceptScore W1980925575C201995342 @default.
• W1980925575 hasConceptScore W1980925575C2776760102 @default.
• W1980925575 hasConceptScore W1980925575C2780451532 @default.
• W1980925575 hasConceptScore W1980925575C32155586 @default.
• W1980925575 hasConceptScore W1980925575C41008148 @default.
• W1980925575 hasConceptScore W1980925575C90509273 @default.
• W1980925575 hasIssue "4" @default.
• W1980925575 hasLocation W19809255751 @default.
• W1980925575 hasOpenAccess W1980925575 @default.
• W1980925575 hasPrimaryLocation W19809255751 @default.
• W1980925575 hasRelatedWork W1488314397 @default.
• W1980925575 hasRelatedWork W2006611598 @default.
• W1980925575 hasRelatedWork W2007793605 @default.
• W1980925575 hasRelatedWork W2170002938 @default.
• W1980925575 hasRelatedWork W2335450999 @default.
• W1980925575 hasRelatedWork W2342049434 @default.
• W1980925575 hasRelatedWork W2745621457 @default.
• W1980925575 hasRelatedWork W2963128936 @default.
• W1980925575 hasRelatedWork W4300151500 @default.
• W1980925575 hasRelatedWork W90510024 @default.
• W1980925575 hasVolume "17" @default.
• W1980925575 isParatext "false" @default.
• W1980925575 isRetracted "false" @default.

• next