Monitoring and control of cyber-physical systems.
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.
video
Submitted by Janos.Sztipanovits on Tue, 08/30/2011 - 6:35pm
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.
forum
Submitted by Ricardo Sanfelice on Tue, 02/01/2022 - 10:53pm
forum
Submitted by Ricardo Sanfelice on Wed, 01/26/2022 - 7:25pm
forum
Submitted by yusufsarwar on Mon, 08/16/2021 - 2:53am
IEEE SMARTCOMP 2021 .::. Call for Participation .::.
*********************************************************************************************************************
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.
Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.
https://www.smart-comp.info
forum
Submitted by Anonymous on Mon, 07/19/2021 - 4:08pm
------------------------------------------------------------------------------
2 Postdoc Positions on “Design of Safe Autonomous Systems”
forum
Submitted by Anonymous on Fri, 07/16/2021 - 10:26am
Starting: September 1, 2021
- AI Co-Designer for Model-based Design of Cyber-Physical Systems
- Learning with Improvisation for Multi-agent Autonomous Systems
The xLAB at the University of Pennsylvania is looking for motivated Postdoc researchers in the area of “Design of Safe Autonomous Systems” starting September 1, 2021. We are looking for proactive individuals to join our Autonomous Systems lab, bringing their excitement for scientific research in formal methods, control systems, optimization, machine learning and robotics with them.
