Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893088271> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2893088271 abstract "As the world becomes more and more automated, the degree of cyber-physical systems involvement cannot be overestimated. A large part of them are safety-critical, thus, it is especially important to ensure their correctness before start of operation or reconfiguration. For this purpose the model checking approach should be used since it allows rigorously proving system correctness by checking all possible states. To ensure the compliance of controller-plant properties with system requirements, the closed-loop verification approach should be chosen, which requires not only a formal model of the controller, but also a formal model of the plant. In this paper we propose an approach for constructing formal models of context-free deterministic plants automatically using active learning algorithms. The case study shows its successful application to plant model generation for the elevator cyber-physical system." @default.
- W2893088271 created "2018-10-05" @default.
- W2893088271 creator A5000959052 @default.
- W2893088271 creator A5008070913 @default.
- W2893088271 creator A5008641198 @default.
- W2893088271 creator A5023839967 @default.
- W2893088271 creator A5040766141 @default.
- W2893088271 creator A5047407238 @default.
- W2893088271 creator A5062429578 @default.
- W2893088271 date "2018-07-01" @default.
- W2893088271 modified "2023-09-26" @default.
- W2893088271 title "Active Learning of Formal Plant Models For Cyber-Physical Systems" @default.
- W2893088271 cites W138607541 @default.
- W2893088271 cites W1990707482 @default.
- W2893088271 cites W2088432971 @default.
- W2893088271 cites W2139709458 @default.
- W2893088271 cites W2140606869 @default.
- W2893088271 cites W2340735175 @default.
- W2893088271 cites W2588494934 @default.
- W2893088271 doi "https://doi.org/10.1109/indin.2018.8471924" @default.
- W2893088271 hasPublicationYear "2018" @default.
- W2893088271 type Work @default.
- W2893088271 sameAs 2893088271 @default.
- W2893088271 citedByCount "0" @default.
- W2893088271 crossrefType "proceedings-article" @default.
- W2893088271 hasAuthorship W2893088271A5000959052 @default.
- W2893088271 hasAuthorship W2893088271A5008070913 @default.
- W2893088271 hasAuthorship W2893088271A5008641198 @default.
- W2893088271 hasAuthorship W2893088271A5023839967 @default.
- W2893088271 hasAuthorship W2893088271A5040766141 @default.
- W2893088271 hasAuthorship W2893088271A5047407238 @default.
- W2893088271 hasAuthorship W2893088271A5062429578 @default.
- W2893088271 hasConcept C110251889 @default.
- W2893088271 hasConcept C111498074 @default.
- W2893088271 hasConcept C111919701 @default.
- W2893088271 hasConcept C115903868 @default.
- W2893088271 hasConcept C116253237 @default.
- W2893088271 hasConcept C119701452 @default.
- W2893088271 hasConcept C127413603 @default.
- W2893088271 hasConcept C147021018 @default.
- W2893088271 hasConcept C149635348 @default.
- W2893088271 hasConcept C151730666 @default.
- W2893088271 hasConcept C179768478 @default.
- W2893088271 hasConcept C199360897 @default.
- W2893088271 hasConcept C203479927 @default.
- W2893088271 hasConcept C2779343474 @default.
- W2893088271 hasConcept C41008148 @default.
- W2893088271 hasConcept C55439883 @default.
- W2893088271 hasConcept C6557445 @default.
- W2893088271 hasConcept C66938386 @default.
- W2893088271 hasConcept C75606506 @default.
- W2893088271 hasConcept C86803240 @default.
- W2893088271 hasConceptScore W2893088271C110251889 @default.
- W2893088271 hasConceptScore W2893088271C111498074 @default.
- W2893088271 hasConceptScore W2893088271C111919701 @default.
- W2893088271 hasConceptScore W2893088271C115903868 @default.
- W2893088271 hasConceptScore W2893088271C116253237 @default.
- W2893088271 hasConceptScore W2893088271C119701452 @default.
- W2893088271 hasConceptScore W2893088271C127413603 @default.
- W2893088271 hasConceptScore W2893088271C147021018 @default.
- W2893088271 hasConceptScore W2893088271C149635348 @default.
- W2893088271 hasConceptScore W2893088271C151730666 @default.
- W2893088271 hasConceptScore W2893088271C179768478 @default.
- W2893088271 hasConceptScore W2893088271C199360897 @default.
- W2893088271 hasConceptScore W2893088271C203479927 @default.
- W2893088271 hasConceptScore W2893088271C2779343474 @default.
- W2893088271 hasConceptScore W2893088271C41008148 @default.
- W2893088271 hasConceptScore W2893088271C55439883 @default.
- W2893088271 hasConceptScore W2893088271C6557445 @default.
- W2893088271 hasConceptScore W2893088271C66938386 @default.
- W2893088271 hasConceptScore W2893088271C75606506 @default.
- W2893088271 hasConceptScore W2893088271C86803240 @default.
- W2893088271 hasLocation W28930882711 @default.
- W2893088271 hasOpenAccess W2893088271 @default.
- W2893088271 hasPrimaryLocation W28930882711 @default.
- W2893088271 hasRelatedWork W1485135523 @default.
- W2893088271 hasRelatedWork W1522734007 @default.
- W2893088271 hasRelatedWork W1614816533 @default.
- W2893088271 hasRelatedWork W17390112 @default.
- W2893088271 hasRelatedWork W2535640593 @default.
- W2893088271 hasRelatedWork W2893088271 @default.
- W2893088271 hasRelatedWork W2896129867 @default.
- W2893088271 hasRelatedWork W2972948825 @default.
- W2893088271 hasRelatedWork W3166613042 @default.
- W2893088271 hasRelatedWork W5651039 @default.
- W2893088271 isParatext "false" @default.
- W2893088271 isRetracted "false" @default.
- W2893088271 magId "2893088271" @default.
- W2893088271 workType "article" @default.