Works matching IS 27538516 AND DT 2024 AND VI 2

Results: 7

Multi-model workload specifications and their application to cyber-physical systems -- ERRATUM.

Published in:

Research Directions: Cyber-Physical Systems, 2024, v. 2, p. 1, doi. 10.1017/cbp.2024.6

By:

Burns, Alan;
Baruah, Sanjoy

Publication type:

Article

Template-based piecewise affine regression.

Published in:

Research Directions: Cyber-Physical Systems, 2024, v. 2, p. 1, doi. 10.1017/cbp.2024.3

By:

Berger, Guillaume O.;
Sankaranarayanan, Sriram

Publication type:

Article

Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project.

Published in:

Research Directions: Cyber-Physical Systems, 2024, v. 2, p. 1, doi. 10.1017/cbp.2024.4

By:

Larsen, Peter G.;
Ali, Shaukat;
Behrens, Roland;
Cavalcanti, Ana;
Gomes, Claudio;
Guoyuan Li;
De Meulenaere, Paul;
Olsen, Mikkel L.;
Passalis, Nikolaos;
Peyrucain, Thomas;
Tapia, Jesús;
Tefas, Anastasios;
Houxiang Zhang

Publication type:

Article

Reset controller synthesis: a correct-byconstruction way to the design of CPS.

Published in:

Research Directions: Cyber-Physical Systems, 2024, v. 2, p. 1, doi. 10.1017/cbp.2024.5

By:

Naijun Zhan;
Han Su;
Mengfei Yang;
Bin Gu

Publication type:

Article

Provable observation noise robustness for neural network control systems.

Published in:

Research Directions: Cyber-Physical Systems, 2024, v. 2, p. 1, doi. 10.1017/cbp.2023.5

By:

Krish, Veena;
Mata, Andrew;
Bak, Stanley;
Hobbs, Kerianne;
Rahmati, Amir

Publication type:

Article

Multi-model workload specifications and their application to cyber-physical systems.

Published in:

Research Directions: Cyber-Physical Systems, 2024, v. 2, p. 1, doi. 10.1017/cbp.2024.2

By:

Burns, Alan;
Baruah, Sanjoy

Publication type:

Article

Can we develop holistic approaches to delivering cyber-physical systems security?

Published in:

Research Directions: Cyber-Physical Systems, 2024, v. 2, p. 1, doi. 10.1017/cbp.2024.1

By:

Fitzgerald, John;
Morisset, Charles

Publication type:

Article