Towards Verification of Uncertain Cyber-Physical Systems
Cyber-Physical Systems (CPS) pose new challenges to verification and validation that go beyond the proof of functional correctness based on high-level models. Particular challenges are, in particular for formal methods, its heterogeneity and scalability. For numerical simulation, uncertain behavior...
| Hoofdauteurs: | , , , |
|---|---|
| Formaat: | Artikel |
| Taal: | English |
| Gepubliceerd in: |
Open Publishing Association
2017-04-01
|
| Reeks: | Electronic Proceedings in Theoretical Computer Science |
| Online toegang: | http://arxiv.org/pdf/1705.00519v1 |