Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
event
Submitted by KNEW on Mon, 01/17/2022 - 2:27pm
CPS Rising Stars Workshop 2022 aims to identify and mentor outstanding PhD students and postdocs who are interested in pursuing academic careers in Cyber-Physical Systems (CPS) related areas. CPS are engineered systems that are built from, and depend upon, the seamless integration of computation and physical components. CPS technologies are transforming the way people interact with engineered systems, just as the Internet has transformed the way people interact with information.
event
Submitted by Anonymous on Thu, 07/23/2020 - 4:46pm
11th Conference on Decision and Game Theory for Security (GameSec 2020)
Modern societies are becoming dependent on information, automation, and communication technologies more than ever. Managing the security of the emerging systems, many of them safety critical, poses significant challenges.
event
Submitted by Anonymous on Mon, 03/16/2020 - 2:00pm
7th Annual Hot Topics in the Science of Security (HoTSoS) Symposium
September 22-24, 2020 | Virtually hosted by the University of Kansas | https://cps-vo.org/group/hotsos
video
Submitted by Janos.Sztipanovits on Tue, 08/30/2011 - 6:35pm
forum
Submitted by Anonymous on Wed, 09/21/2022 - 11:07am
event
Submitted by Anonymous on Wed, 09/21/2022 - 10:52am
26th ACM International Conference on Hybrid Systems: Computation and Control
9-12 May 2023 | San Antonio, TX, USA
forum
Submitted by Andre Platzer on Tue, 07/12/2022 - 4:33am
The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time). Our research develops the logical foundations for cyber-physical systems and practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring ModelPlex, verified compilation, and verified safe machine learning techniques.
forum
Submitted by ttj on Thu, 05/19/2022 - 11:56am
event
Submitted by akarns on Wed, 03/23/2022 - 12:55pm
forum
Submitted by nicopao on Tue, 02/15/2022 - 7:33am
- Application deadline: Midnight, 25 March 2022 (GMT)
- Starting date: 1 July 2022
- Salary: starting from PS36,438 p.a. (inclusive of London allowance)
- Duration: until June 2025
- Where: Royal Holloway, University of London
We have a post-doc opportunity on the EPSRC project "MCPS-VeriSec: Model-based Security of Medical Cyber-Physical Systems", led by Nicola Paoletti.
