Näytetään tulokset 1 - 10 / 71
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
 Julkaisujen tiedon ikoni

Enabling Online Fault Prediction in Adaptive Control: A Model Checker and Controller Co-Designed CPS Solution

Vertaisarvioitu
DOI
10.1109/SIES62473.2024.10768029
Chen, Yao; Fan, Xueli; Wang, Qixin; Guan, Nan; Li, Shuai; Shao, Zili
14th IEEE International Symposium on Industrial Embedded Systems, SIES 20242024 Julkaisujen tiedon ikoni

Towards Collaborative Human-Centric CPS

Berrocal , Javier;Canal, Carlos;Garcia-Alonso, Jose;Hernadez, Juan;Mäkitalo, Niko;Mikkonen, Tommi;Mu...
Jornadas the Ciencia e Ingenieria de Servicios2016 Julkaisujen tiedon ikoni

Towards formal ASM semantics of timed control systems for industrial CPS

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/ETFA.2019.8869293
Drozdov, Dmitrii; Patil, Sandeep; Dubinin, Victor; Vyatkin, Valeriy
Proceedings IEEE International Conference on Emerging Technologies and Factory Automation2019 Julkaisujen tiedon ikoni

WOGAN at the SBST 2022 CPS tool competition

Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3526072.3527535
Jarkko Peltomäki; Frankie Spencer; Ivan Porres
2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing (SBST)2022 Julkaisujen tiedon ikoni

Modelling Resilience of Data Processing Capabilities of CPS

Vertaisarvioitu
DOI
10.1007/978-3-319-12241-0_5
Laibinis L; Klionskiy D; Troubitsyna E; Dorokhov A; Lilius J; Kupriyanov M
Software Engineering for Resilient Systems (SERENE)2014 Julkaisujen tiedon ikoni

Modelling Resilience of Data Processing Capabilities of CPS

Vertaisarvioitu
DOI
10.1007/978-3-319-12241-0_5
Linas Laibinis; D Klionskiy; Elena Troubitsyna; A Dorokhov; Johan Lilius; M Kupriyanov
Software Engineering for Resilient Systems2014 Julkaisujen tiedon ikoni

Reliability of CPS components under mechanical shock loading

Vertaisarvioitu
DOI
10.1109/TCAPT.2006.885948
Mattila, T.T.; Marjamäki, P.; Kivilahti, J.K.
IEEE Transactions on Components and Packaging Technologies2006 Julkaisujen tiedon ikoni

Formal modelling of distributed automation CPS with CP-agnostic software

Vertaisarvioitu
DOI
10.1007/978-3-319-51100-9_4
Drozdov, Dmitrii; Patil, Sandeep; Vyatkin, Valeriy
Studies in Computational Intelligence2017 Julkaisujen tiedon ikoni

An architecture for implementing private local automation clouds built by CPS

Vertaisarvioitu
DOI
10.1109/IECON.2017.8216937
Ferrer, Borja Ramis;Lastra, Jose Luis Martinez
Annual Conference of the IEEE Industrial Electronics Society2017 Julkaisujen tiedon ikoni

Generative AI and Cognitive Computing-Driven Intrusion Detection System in Industrial CPS

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/s12559-024-10309-w
Islam Shareeful; Javeed Danish; Saeed Muhammad Shahid; Kumar Prabhat; Jolfaei Alireza; Islam AKM Naj...
Cognitive Computation2024

Enabling Online Fault Prediction in Adaptive Control: A Model Checker and Controller Co-Designed CPS Solution

Vertaisarvioitu
DOI
10.1109/SIES62473.2024.10768029
2024

Towards Collaborative Human-Centric CPS

2016

Towards formal ASM semantics of timed control systems for industrial CPS

Vertaisarvioitu
Avoin saatavuus
DOI
10.1109/ETFA.2019.8869293
2019

WOGAN at the SBST 2022 CPS tool competition

Vertaisarvioitu
Avoin saatavuus
DOI
10.1145/3526072.3527535
2022

Modelling Resilience of Data Processing Capabilities of CPS

Vertaisarvioitu
DOI
10.1007/978-3-319-12241-0_5
2014

Modelling Resilience of Data Processing Capabilities of CPS

Vertaisarvioitu
DOI
10.1007/978-3-319-12241-0_5
2014

Reliability of CPS components under mechanical shock loading

Vertaisarvioitu
DOI
10.1109/TCAPT.2006.885948
2006

Formal modelling of distributed automation CPS with CP-agnostic software

Vertaisarvioitu
DOI
10.1007/978-3-319-51100-9_4
2017

An architecture for implementing private local automation clouds built by CPS

Vertaisarvioitu
DOI
10.1109/IECON.2017.8216937
2017

Generative AI and Cognitive Computing-Driven Intrusion Detection System in Industrial CPS

Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/s12559-024-10309-w
2024