Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT / / Sriram Sankaranarayanan, Sadegh Soudjani
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Sankaranarayanan Sriram
|
| Titolo: |
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT / / Sriram Sankaranarayanan, Sadegh Soudjani
|
| Pubblicazione: | New York : , : ACM, , 2019 |
| Descrizione fisica: | 1 online resource (36 pages) : illustrations |
| Disciplina: | 006.22 |
| Soggetto topico: | Internet of things |
| Cooperating objects (Computer systems) | |
| Computer systems - Verification | |
| Persona (resp. second.): | SoudjaniSadegh |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910375781103321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |