Matches in SemOpenAlex for { <https://semopenalex.org/work/W3009531204> ?p ?o ?g. }
- W3009531204 abstract "Due to major breakthroughs in software and engineering technologies, embedded systems are increasingly being utilized in areas ranging from aerospace and next-generation transportation systems, to smart grid and smart cities, to health care systems, and broadly speaking to what is known as Cyber-Physical Systems (CPS). A CPS is primarily composed of several electronic, communication and controller modules and some actuators and sensors. The mix of heterogeneous underlying smart technologies poses a number of technical challenges to the design and more severely to the verification of such complex infrastructure. In fact, a CPS shall adhere to strict safety, reliability, performance and security requirements, where one needs to capture both physical and random aspects of the various CPS modules and then analyze their interrelationship across interlinked continuous and discrete dynamics. Often times however, system bugs remain uncaught during the analysis and in turn cause unwanted scenarios that may have serious consequences in safety-critical applications. In this paper, we introduce some of the challenges surrounding the design and verification of contemporary CPS with the advent of smart technologies. In particular, we survey recent developments in the use of theorem proving, a formal method, for the modeling, analysis and verification of CPS, and overview some real world CPS case studies from the automotive, avionics and healthtech domains from system level to physical components." @default.
- W3009531204 created "2020-03-13" @default.
- W3009531204 creator A5007159598 @default.
- W3009531204 creator A5015888124 @default.
- W3009531204 creator A5036366006 @default.
- W3009531204 date "2020-03-08" @default.
- W3009531204 modified "2023-10-01" @default.
- W3009531204 title "Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)" @default.
- W3009531204 cites W117387719 @default.
- W3009531204 cites W1497011154 @default.
- W3009531204 cites W1498330459 @default.
- W3009531204 cites W1498432697 @default.
- W3009531204 cites W1508641834 @default.
- W3009531204 cites W1521372188 @default.
- W3009531204 cites W1534850143 @default.
- W3009531204 cites W1535116423 @default.
- W3009531204 cites W1560094997 @default.
- W3009531204 cites W1575486920 @default.
- W3009531204 cites W1586167239 @default.
- W3009531204 cites W162339537 @default.
- W3009531204 cites W166580360 @default.
- W3009531204 cites W1750630199 @default.
- W3009531204 cites W175120007 @default.
- W3009531204 cites W1800133347 @default.
- W3009531204 cites W1814275833 @default.
- W3009531204 cites W1901338635 @default.
- W3009531204 cites W1943070836 @default.
- W3009531204 cites W1955580075 @default.
- W3009531204 cites W1966279811 @default.
- W3009531204 cites W1971803212 @default.
- W3009531204 cites W1977656637 @default.
- W3009531204 cites W19888102 @default.
- W3009531204 cites W1993427268 @default.
- W3009531204 cites W2003005306 @default.
- W3009531204 cites W2007291179 @default.
- W3009531204 cites W2026455719 @default.
- W3009531204 cites W2058949335 @default.
- W3009531204 cites W2061783308 @default.
- W3009531204 cites W2071975066 @default.
- W3009531204 cites W2074047803 @default.
- W3009531204 cites W2106606898 @default.
- W3009531204 cites W2107872611 @default.
- W3009531204 cites W2115178223 @default.
- W3009531204 cites W2117444225 @default.
- W3009531204 cites W2136310957 @default.
- W3009531204 cites W2139371904 @default.
- W3009531204 cites W2149713648 @default.
- W3009531204 cites W2153173530 @default.
- W3009531204 cites W2162843658 @default.
- W3009531204 cites W2167390667 @default.
- W3009531204 cites W2188082489 @default.
- W3009531204 cites W2189209925 @default.
- W3009531204 cites W2279892936 @default.
- W3009531204 cites W2295075448 @default.
- W3009531204 cites W2334113034 @default.
- W3009531204 cites W235293953 @default.
- W3009531204 cites W2432950841 @default.
- W3009531204 cites W244376972 @default.
- W3009531204 cites W2465986318 @default.
- W3009531204 cites W2477915194 @default.
- W3009531204 cites W2491717798 @default.
- W3009531204 cites W2500782055 @default.
- W3009531204 cites W2518005752 @default.
- W3009531204 cites W2564273566 @default.
- W3009531204 cites W2566428922 @default.
- W3009531204 cites W2587786246 @default.
- W3009531204 cites W2587795339 @default.
- W3009531204 cites W2614329595 @default.
- W3009531204 cites W2618528743 @default.
- W3009531204 cites W2751670185 @default.
- W3009531204 cites W2772456949 @default.
- W3009531204 cites W2774955046 @default.
- W3009531204 cites W2786544214 @default.
- W3009531204 cites W2792039802 @default.
- W3009531204 cites W2798378744 @default.
- W3009531204 cites W2809169668 @default.
- W3009531204 cites W2914097741 @default.
- W3009531204 cites W2954904014 @default.
- W3009531204 cites W2957722170 @default.
- W3009531204 cites W2962996889 @default.
- W3009531204 cites W2963578145 @default.
- W3009531204 cites W2963684489 @default.
- W3009531204 cites W2964054832 @default.
- W3009531204 cites W2964274091 @default.
- W3009531204 cites W2964948084 @default.
- W3009531204 cites W2965251806 @default.
- W3009531204 cites W2968959540 @default.
- W3009531204 cites W2973427087 @default.
- W3009531204 cites W2982593188 @default.
- W3009531204 cites W3149522517 @default.
- W3009531204 cites W318050187 @default.
- W3009531204 cites W43281984 @default.
- W3009531204 cites W78768605 @default.
- W3009531204 cites W80953181 @default.
- W3009531204 cites W81013672 @default.
- W3009531204 cites W840673086 @default.
- W3009531204 cites W84587889 @default.
- W3009531204 cites W957552051 @default.
- W3009531204 cites W2623146857 @default.
- W3009531204 hasPublicationYear "2020" @default.