Advances and challenges of quantitative verification and synthesis for cyber-physical systems
We are witnessing a huge growth of cyber-physical systems, which are autonomous, mobile, endowed with sensing, controlled by software, and often wirelessly connected and Internet-enabled. They include factory automation systems, robotic assistants, self-driving cars, and wearable and implantable dev...
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Conference item |
| Foilsithe / Cruthaithe: |
Institute of Electrical and Electronics Engineers
2016
|
| _version_ | 1826295329516945408 |
|---|---|
| author | Kwiatkowska, M |
| author_facet | Kwiatkowska, M |
| author_sort | Kwiatkowska, M |
| collection | OXFORD |
| description | We are witnessing a huge growth of cyber-physical systems, which are autonomous, mobile, endowed with sensing, controlled by software, and often wirelessly connected and Internet-enabled. They include factory automation systems, robotic assistants, self-driving cars, and wearable and implantable devices. Since they are increasingly often used in safety-or business-critical contexts, to mention invasive treatment or biometric authentication, there is an urgent need for modelling and verification technologies to support the design process, and hence improve the reliability and reduce production costs. This paper gives an overview of quantitative verification and synthesis techniques developed for cyber-physical systems, summarising recent achievements and future challenges in this important field. |
| first_indexed | 2024-03-07T03:59:21Z |
| format | Conference item |
| id | oxford-uuid:c3fe9b69-b5a3-4071-9594-a43b48e25a27 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T03:59:21Z |
| publishDate | 2016 |
| publisher | Institute of Electrical and Electronics Engineers |
| record_format | dspace |
| spelling | oxford-uuid:c3fe9b69-b5a3-4071-9594-a43b48e25a272022-03-27T06:20:27ZAdvances and challenges of quantitative verification and synthesis for cyber-physical systemsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:c3fe9b69-b5a3-4071-9594-a43b48e25a27Symplectic Elements at OxfordInstitute of Electrical and Electronics Engineers2016Kwiatkowska, MWe are witnessing a huge growth of cyber-physical systems, which are autonomous, mobile, endowed with sensing, controlled by software, and often wirelessly connected and Internet-enabled. They include factory automation systems, robotic assistants, self-driving cars, and wearable and implantable devices. Since they are increasingly often used in safety-or business-critical contexts, to mention invasive treatment or biometric authentication, there is an urgent need for modelling and verification technologies to support the design process, and hence improve the reliability and reduce production costs. This paper gives an overview of quantitative verification and synthesis techniques developed for cyber-physical systems, summarising recent achievements and future challenges in this important field. |
| spellingShingle | Kwiatkowska, M Advances and challenges of quantitative verification and synthesis for cyber-physical systems |
| title | Advances and challenges of quantitative verification and synthesis for cyber-physical systems |
| title_full | Advances and challenges of quantitative verification and synthesis for cyber-physical systems |
| title_fullStr | Advances and challenges of quantitative verification and synthesis for cyber-physical systems |
| title_full_unstemmed | Advances and challenges of quantitative verification and synthesis for cyber-physical systems |
| title_short | Advances and challenges of quantitative verification and synthesis for cyber-physical systems |
| title_sort | advances and challenges of quantitative verification and synthesis for cyber physical systems |
| work_keys_str_mv | AT kwiatkowskam advancesandchallengesofquantitativeverificationandsynthesisforcyberphysicalsystems |