LEADER 02138nam 2200409 450 001 9910375781103321 005 20230821222059.0 035 $a(CKB)4920000000053626 035 $a(NjHacI)994920000000053626 035 $a(EXLCZ)994920000000053626 100 $a20230821d2019 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT /$fSriram Sankaranarayanan, Sadegh Soudjani 210 1$aNew York :$cACM,$d2019. 215 $a1 online resource (36 pages) $cillustrations 225 0 $aACM Other Conferences 311 $a1-4503-6697-X 330 $aSNR19 focuses on the combination of symbolic and numeric methods for reasoning about Cyber-Physical Systems and the Internet of Things to facilitate model identification, specification, verification, and control synthesis problems for these systems. The synergy between symbolic and numerical approaches is fruitful for two main reasons: a?€˘Symbolic methods that operate on exact and discrete representations of systems, the set of reachable states, the distribution of model parameters or the possible gains for controller parameters. a?€˘Numeric methods that operate on various forms of numerical approximations and continuous transformations of the systems, as developed in the area of continuous dynamical systems and control theory. 606 $aInternet of things 606 $aCooperating objects (Computer systems) 606 $aComputer systems$xVerification 615 0$aInternet of things. 615 0$aCooperating objects (Computer systems) 615 0$aComputer systems$xVerification. 676 $a006.22 700 $aSankaranarayanan$b Sriram$01380659 702 $aSoudjani$b Sadegh 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910375781103321 996 $aProceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT$93422585 997 $aUNINA