Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168077308> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2168077308 abstract "Presents the experiences of using a symbolic model checker to check the safety properties of a servo-loop control system. Symbolic model checking has been shown to be beneficial when the system under analysis can be modeled as a finite state machine. Servo-loop control systems are typically represented by differential equations (Laplace transforms)-not as finite state machines. However, the control loop is only apart of the software system needed to properly and safely operate the system. The paper first validates the safety of the servo loop using control theory and simulation. Then, a simple state model of a servo loop is combined with the state model of the entire system. This model is then entered into a model checker (SMV) along with safety predicates. The model checker is used to validate the safety predicates. The paper shows via an example-an antenna tracking system-that safety issues can be discovered and defined for control systems using a model checker. Furthermore, it demonstrates that effective hazard analysis may require multiple techniques." @default.
- W2168077308 created "2016-06-24" @default.
- W2168077308 creator A5084854030 @default.
- W2168077308 date "2003-06-25" @default.
- W2168077308 modified "2023-09-24" @default.
- W2168077308 title "Model checking safety properties of servo-loop control systems" @default.
- W2168077308 cites W1998856946 @default.
- W2168077308 cites W2115179079 @default.
- W2168077308 cites W2149041900 @default.
- W2168077308 cites W2151056896 @default.
- W2168077308 cites W2340735175 @default.
- W2168077308 doi "https://doi.org/10.1109/dsn.2002.1028885" @default.
- W2168077308 hasPublicationYear "2003" @default.
- W2168077308 type Work @default.
- W2168077308 sameAs 2168077308 @default.
- W2168077308 citedByCount "7" @default.
- W2168077308 countsByYear W21680773082014 @default.
- W2168077308 countsByYear W21680773082017 @default.
- W2168077308 crossrefType "proceedings-article" @default.
- W2168077308 hasAuthorship W2168077308A5084854030 @default.
- W2168077308 hasConcept C107354338 @default.
- W2168077308 hasConcept C107645828 @default.
- W2168077308 hasConcept C110251889 @default.
- W2168077308 hasConcept C11413529 @default.
- W2168077308 hasConcept C115903868 @default.
- W2168077308 hasConcept C119599485 @default.
- W2168077308 hasConcept C127413603 @default.
- W2168077308 hasConcept C133731056 @default.
- W2168077308 hasConcept C154945302 @default.
- W2168077308 hasConcept C167822520 @default.
- W2168077308 hasConcept C17500928 @default.
- W2168077308 hasConcept C2775924081 @default.
- W2168077308 hasConcept C32731416 @default.
- W2168077308 hasConcept C41008148 @default.
- W2168077308 hasConcept C47446073 @default.
- W2168077308 hasConceptScore W2168077308C107354338 @default.
- W2168077308 hasConceptScore W2168077308C107645828 @default.
- W2168077308 hasConceptScore W2168077308C110251889 @default.
- W2168077308 hasConceptScore W2168077308C11413529 @default.
- W2168077308 hasConceptScore W2168077308C115903868 @default.
- W2168077308 hasConceptScore W2168077308C119599485 @default.
- W2168077308 hasConceptScore W2168077308C127413603 @default.
- W2168077308 hasConceptScore W2168077308C133731056 @default.
- W2168077308 hasConceptScore W2168077308C154945302 @default.
- W2168077308 hasConceptScore W2168077308C167822520 @default.
- W2168077308 hasConceptScore W2168077308C17500928 @default.
- W2168077308 hasConceptScore W2168077308C2775924081 @default.
- W2168077308 hasConceptScore W2168077308C32731416 @default.
- W2168077308 hasConceptScore W2168077308C41008148 @default.
- W2168077308 hasConceptScore W2168077308C47446073 @default.
- W2168077308 hasLocation W21680773081 @default.
- W2168077308 hasOpenAccess W2168077308 @default.
- W2168077308 hasPrimaryLocation W21680773081 @default.
- W2168077308 hasRelatedWork W133182796 @default.
- W2168077308 hasRelatedWork W135199158 @default.
- W2168077308 hasRelatedWork W161666304 @default.
- W2168077308 hasRelatedWork W1995991375 @default.
- W2168077308 hasRelatedWork W1998021290 @default.
- W2168077308 hasRelatedWork W2089250473 @default.
- W2168077308 hasRelatedWork W2098228838 @default.
- W2168077308 hasRelatedWork W2104978174 @default.
- W2168077308 hasRelatedWork W2126058650 @default.
- W2168077308 hasRelatedWork W2134241547 @default.
- W2168077308 hasRelatedWork W2138362538 @default.
- W2168077308 hasRelatedWork W2150399591 @default.
- W2168077308 hasRelatedWork W2157290399 @default.
- W2168077308 hasRelatedWork W2160838104 @default.
- W2168077308 hasRelatedWork W2164319355 @default.
- W2168077308 hasRelatedWork W2348595606 @default.
- W2168077308 hasRelatedWork W2389013267 @default.
- W2168077308 hasRelatedWork W2392617917 @default.
- W2168077308 hasRelatedWork W2555066691 @default.
- W2168077308 hasRelatedWork W1015146240 @default.
- W2168077308 isParatext "false" @default.
- W2168077308 isRetracted "false" @default.
- W2168077308 magId "2168077308" @default.
- W2168077308 workType "article" @default.