02138nam 2200409 450 991037578110332120230821222059.0(CKB)4920000000053626(NjHacI)994920000000053626(EXLCZ)99492000000005362620230821d2019 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT /Sriram Sankaranarayanan, Sadegh SoudjaniNew York :ACM,2019.1 online resource (36 pages) illustrationsACM Other Conferences1-4503-6697-X SNR19 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: •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. •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.Internet of thingsCooperating objects (Computer systems)Computer systemsVerificationInternet of things.Cooperating objects (Computer systems)Computer systemsVerification.006.22Sankaranarayanan Sriram1380659Soudjani SadeghNjHacINjHaclBOOK9910375781103321Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT3422585UNINA