A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
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.
Submitted by Frankie King on January 17th, 2022
Event
NIST CPS PWG
NIST Cyber-Physical Systems Public Working Group
What are Cyber-Physical Systems or CPS?
Is a CPS any engineered system with a microprocessor?
Do all CPS need to be connected to the internet?
Are there a set of basic functions and architectural elements common to all CPS?
You are invited to join us in answering these questions and charting the path to the future.
Event
CPS Week 2014
The CPSWeek brings together five leading conferences - HSCC, ICCPS, IPSN, HiCoNS, RTAS - as well as several workshops and tutorials on various aspects on the research and development of cyber-physical systems: Embedded Systems, Hybrid Systems, Real-Time and Sensor Networks.
Event
CPS&IoT’2023
11th International Conference on Cyber-Physical Systems
Contemporary Cyber-Physical Systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The modern smart collaborating CPS, that started to form the Cyber-Physical Systems of Systems (CPSoS) and Internet of Things (IoT), have important applications in virtually all economic and social segments, and their huge economic and societal impact rapidly increases. The CPS and IoT area undergoes a revolutionary development.
Event
HSCC 2023
26th ACM International Conference on Hybrid Systems: Computation and Control
9-12 May 2023 | San Antonio, TX, USA
Event
HiPEAC 2023
The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for general-purpose, embedded and cyber-physical systems. Areas of focus and integration include safety-critical dependencies, cybersecurity, energy efficiency and machine learning.
The HiPEAC 2023 conference will take place in Toulouse, France. Associated workshops, tutorials, special sessions, several large poster session and an industrial exhibition will run in parallel with the conference.
The supervisory control and data acquisition (SCADA) network in a smart grid must be reliable and efficient to transmit real-time data to the controller, especially when the system is under contingencies or cyberattacks. Introducing the features of software-defined networks (SDN) into a SCADA network helps in better management of communication and deployment of novel grid control operations.
Submitted by Mohammad Rahman on May 1st, 2021
Cyber-physical systems (CPSs) and the Internet of Things (IoT) are converging towards a hybrid platform that is becoming ubiquitous in all modern infrastructures. The massive deployment of CPS requires comprehensive, secure, and reliable communication. The integration of complex and heterogeneous systems makes enormous space for the adversaries to get into the network and inject malicious data. To obfuscate and mislead the attackers, we propose DDAF, a deception defense-based data acquisition framework for a hierarchical communication network of CPSs.
Submitted by Mohammad Rahman on May 1st, 2021
This paper studies the synthesis of control
policies for an agent that has to satisfy a temporal logic
specification in a partially observable environment, in
the presence of an adversary. The interaction of the
agent (defender) with the adversary is modeled as a partially
observable stochastic game. The goal is to generate
a defender policy to maximize satisfaction of a given
temporal logic specification under any adversary policy.
The search for policies is limited to the space of finite
This paper studies the synthesis of controllers for
cyber-physical systems (CPSs) that are required to carry out
complex tasks that are time-sensitive, in the presence of an
adversary. The task is specified as a formula in metric interval
temporal logic (MITL). The adversary is assumed to have the
ability to tamper with the control input to the CPS and also
manipulate timing information perceived by the CPS. In order
to model the interaction between the CPS and the adversary, and