Matches in SemOpenAlex for { <https://semopenalex.org/work/W2786624435> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2786624435 endingPage "314" @default.
- W2786624435 startingPage "300" @default.
- W2786624435 abstract "This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of the Prototype Verification System and simulated with the interpreter for the same language available in the theorem proving environment. With this approach, co-simulation and formal verification corroborate each other, thus strengthening developers’ confidence in their analysis." @default.
- W2786624435 created "2018-02-23" @default.
- W2786624435 creator A5070192940 @default.
- W2786624435 creator A5088309110 @default.
- W2786624435 creator A5090546515 @default.
- W2786624435 date "2018-01-01" @default.
- W2786624435 modified "2023-09-23" @default.
- W2786624435 title "Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle" @default.
- W2786624435 cites W1485650462 @default.
- W2786624435 cites W1511527545 @default.
- W2786624435 cites W1533807701 @default.
- W2786624435 cites W1546119015 @default.
- W2786624435 cites W1566038112 @default.
- W2786624435 cites W1576363515 @default.
- W2786624435 cites W1590463358 @default.
- W2786624435 cites W1659048632 @default.
- W2786624435 cites W2050856428 @default.
- W2786624435 cites W2074148496 @default.
- W2786624435 cites W2080884201 @default.
- W2786624435 cites W2112630077 @default.
- W2786624435 cites W2119355229 @default.
- W2786624435 cites W2133800598 @default.
- W2786624435 cites W2247187487 @default.
- W2786624435 cites W2258230469 @default.
- W2786624435 cites W2422062091 @default.
- W2786624435 cites W2606961542 @default.
- W2786624435 cites W2804347281 @default.
- W2786624435 cites W287306212 @default.
- W2786624435 cites W4236912930 @default.
- W2786624435 cites W945357063 @default.
- W2786624435 doi "https://doi.org/10.1007/978-3-319-74781-1_21" @default.
- W2786624435 hasPublicationYear "2018" @default.
- W2786624435 type Work @default.
- W2786624435 sameAs 2786624435 @default.
- W2786624435 citedByCount "8" @default.
- W2786624435 countsByYear W27866244352019 @default.
- W2786624435 countsByYear W27866244352020 @default.
- W2786624435 countsByYear W27866244352021 @default.
- W2786624435 countsByYear W27866244352022 @default.
- W2786624435 countsByYear W27866244352023 @default.
- W2786624435 crossrefType "book-chapter" @default.
- W2786624435 hasAuthorship W2786624435A5070192940 @default.
- W2786624435 hasAuthorship W2786624435A5088309110 @default.
- W2786624435 hasAuthorship W2786624435A5090546515 @default.
- W2786624435 hasBestOaLocation W27866244352 @default.
- W2786624435 hasConcept C110251889 @default.
- W2786624435 hasConcept C111472728 @default.
- W2786624435 hasConcept C111498074 @default.
- W2786624435 hasConcept C122783720 @default.
- W2786624435 hasConcept C138885662 @default.
- W2786624435 hasConcept C199360897 @default.
- W2786624435 hasConcept C202973057 @default.
- W2786624435 hasConcept C206880738 @default.
- W2786624435 hasConcept C2780586882 @default.
- W2786624435 hasConcept C41008148 @default.
- W2786624435 hasConcept C55439883 @default.
- W2786624435 hasConcept C62460635 @default.
- W2786624435 hasConcept C75606506 @default.
- W2786624435 hasConceptScore W2786624435C110251889 @default.
- W2786624435 hasConceptScore W2786624435C111472728 @default.
- W2786624435 hasConceptScore W2786624435C111498074 @default.
- W2786624435 hasConceptScore W2786624435C122783720 @default.
- W2786624435 hasConceptScore W2786624435C138885662 @default.
- W2786624435 hasConceptScore W2786624435C199360897 @default.
- W2786624435 hasConceptScore W2786624435C202973057 @default.
- W2786624435 hasConceptScore W2786624435C206880738 @default.
- W2786624435 hasConceptScore W2786624435C2780586882 @default.
- W2786624435 hasConceptScore W2786624435C41008148 @default.
- W2786624435 hasConceptScore W2786624435C55439883 @default.
- W2786624435 hasConceptScore W2786624435C62460635 @default.
- W2786624435 hasConceptScore W2786624435C75606506 @default.
- W2786624435 hasLocation W27866244351 @default.
- W2786624435 hasLocation W27866244352 @default.
- W2786624435 hasOpenAccess W2786624435 @default.
- W2786624435 hasPrimaryLocation W27866244351 @default.
- W2786624435 hasRelatedWork W1522734007 @default.
- W2786624435 hasRelatedWork W1563456403 @default.
- W2786624435 hasRelatedWork W1573022308 @default.
- W2786624435 hasRelatedWork W1980237913 @default.
- W2786624435 hasRelatedWork W2006962382 @default.
- W2786624435 hasRelatedWork W2028104839 @default.
- W2786624435 hasRelatedWork W2087930812 @default.
- W2786624435 hasRelatedWork W2162615969 @default.
- W2786624435 hasRelatedWork W2477444687 @default.
- W2786624435 hasRelatedWork W2809618173 @default.
- W2786624435 isParatext "false" @default.
- W2786624435 isRetracted "false" @default.
- W2786624435 magId "2786624435" @default.
- W2786624435 workType "book-chapter" @default.