CPS

biblio

Cyber-Physical Risk Driven Routing Planning with Deep Reinforcement-Learning in Smart Grid Communication Networks

Submitted by grigby1 on Tue, 02/16/2021 - 12:40pm

intelligent algorithms
power generation planning
risk assessment model
deep reinforcement learning
communication link
Constraint-Dijkstra algorithm
cyber-physical system
deep reinforcement-learning
DRL
information space
physical space
link load balance
node load pressure
power grid system
Risk Balance
route planning algorithm
Routing Planning
service communication delay
Damage Assessment
smart power grids
risk management
CPS
cyber-physical systems
pubcrawl
resilience
Resiliency
optimization
power engineering computing
learning (artificial intelligence)
Communication networks
Planning
Routing
delays
Load modeling
Smart Grids
neural nets
smart grid communication networks

biblio

A Hybrid Game Theory and Reinforcement Learning Approach for Cyber-Physical Systems Security

Submitted by grigby1 on Tue, 02/16/2021 - 12:39pm

learning (artificial intelligence)
Virus Spreading
supervisory control and data acquisition systems
SCADA systems
Resiliency
resilience
pubcrawl
Nash Equilibrium
multiagent reinforcement learning
multi-agent systems
Multi-Agent Reinforcement Learning
malware author
Social Agents
invasive software
ICs
hybrid game theory
game theory
Damage Assessment
cyber-physical systems security
cyber-physical systems
cyber-attacks
CPS Security
CPS network
CPS

forum

Postdoc Opening at Stony Brook University

Submitted by stanleybak on Sun, 02/14/2021 - 10:44am

Stony Brook University has an immediate opening for a postdoc in the area of formal verification of hybrid systems, CPS, and neural networks. The postdoc will work primarily with professors Stanley Bak and Scott Smolka.

Application website: https://stonybrooku.taleo.net/careersection/2/jobdetail.ftl?job=2002865

General Announcements
postdoc
verification
CPS

biblio

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*

Submitted by aekwall on Mon, 01/25/2021 - 11:53am

stochastic games
time-sensitive
Power capacitors
metric interval temporal logic objectives
finite state controller
durational stochastic game
control synthesis
control input
road traffic control
Clocks
actuator security
actuator attacks
CPS
actuators
timing information
timing
Temporal Logic
Games
probability
Stochastic processes
Metrics
Iterative methods
composability
pubcrawl
Human behavior
Resiliency
cyber-physical systems

biblio

Hardening ROS via Hardware-assisted Trusted Execution Environment

Submitted by grigby1 on Tue, 12/15/2020 - 12:42pm

middleware
security
ROS
Robot sensing systems
robot programming
robot operating systems
Robot Operating System
robot design phase
robot behavior
Resiliency
resilience
pubcrawl
policy-based governance
operating systems (computers)
bodily harm
Humanoid robots
Human Factors
Human behavior
hardware-assisted trusted execution environment
Hardware
entertainment
education
data privacy
cyber-physical systems
CPS
control engineering computing
complex cyber-physical systems

biblio

The Study and Application of Security Control Plan Incorporating Frequency Stability (SCPIFS) in CPS-Featured Interconnected Asynchronous Grids

Submitted by grigby1 on Fri, 12/11/2020 - 1:42pm

Resiliency
power engineering computing
power grids
power system interconnection
power system security
power system stability
power transmission planning
pubcrawl
real-time systems
resilience
optimisation
Scalability
SCPIFS
security
Security Control
security control plan
security control strategy
Stability analysis
Time Frequency Analysis
HVDC power transmission
bulk power imbalance shock
CPS
Cyber Physical System
cyber-physical systems
frequency control
frequency stability
frequency stability constrains
frequency stability domain
Generators
ADMM
HVDC tie-line
HVDC tie-line transferred power
HVDC transmission
interconnected asynchronous grids
interconneted grids
load shedding
McCormick envelope method
Metrics

biblio

Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems

Submitted by grigby1 on Fri, 10/30/2020 - 11:18am

input-output programs
smart I/O modules
security of data
security
Scalability
Safety
runtime enforcement
Runtime
real-world physical systems
pubcrawl
programmable logic controller I/O modules
programmable controllers
production engineering computing
Power Grid
Monitoring
malicious attacks
control engineering computing
Industries
Industrial Control Systems
industrial control
i-o systems security
I-O Systems
hardware architecture
Hardware
embedded systems
embedded control
cyber-physical systems (CPSs)
cyber-physical systems
cyber-physical attacks mitigation
Cyber-physical attacks
CPS
control systems

biblio

An Accelerator-based Architecture Utilizing an Efficient Memory Link for Modern Computational Requirements

Submitted by grigby1 on Tue, 10/06/2020 - 1:02pm

embedded systems
Task Analysis
security
Resiliency
resilience
Random access memory
pubcrawl
Program processors
On-Chip Communication Architectures
Metrics
Kernel
Heterogeneous systems
Hardware accelerator
Acceleration
embedded system architecture
efficient memory link
cyber physical systems
CPS
configurable accelerators
concurrency (computers)
Concurrency
computer architecture
composability
bussing system
automotive application
accelerator-based architecture

biblio

Handling concurrent requests in a secret sharing based storage system using Petri Nets

Submitted by grigby1 on Tue, 10/06/2020 - 1:02pm

perfect security
storage system
storage servers
storage management
server failure
security
secret sharing schemes
secret sharing
Resiliency
resilience
pubcrawl
Petri nets
composability
Metrics
distributed computer network
data theft
data storage security
cyber physical systems
Cryptography
CPS
concurrent update requests
concurrent request handling
concurrency (computers)
Concurrency

biblio

Mobile Transaction Processing for a Distributed War Environment

Submitted by grigby1 on Tue, 10/06/2020 - 1:01pm

resilience
medical units
message transaction technique
Metrics
Microprocessors
military computing
mobile computing
mobile transaction processing
natural environment
optimistic concurrency control protocol
Processing time
Protocols
pubcrawl
Medical services
Resiliency
Sagas
security
serializability
Servers
Shadow paging
timely decisions
top-level commanders
transaction
transaction processing
transaction techniques
wounded soldiers
Databases
ambulance staff
battlefield environment
battlefield need
caching
Compensation Workflow
composability
computer architecture
Concurrency
concurrency control
CPS
cyber physical systems
database management systems
Actionability rules
Decision Making
distributed war environment
field hospital staff
health care
hospitals
incoming injured soldiers
irregular communications
medical authorities
medical information
medical information systems
medical service unit transactional workflow technique

« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS

Cyber-Physical Risk Driven Routing Planning with Deep Reinforcement-Learning in Smart Grid Communication Networks

A Hybrid Game Theory and Reinforcement Learning Approach for Cyber-Physical Systems Security

Postdoc Opening at Stony Brook University

Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*

Hardening ROS via Hardware-assisted Trusted Execution Environment

The Study and Application of Security Control Plan Incorporating Frequency Stability (SCPIFS) in CPS-Featured Interconnected Asynchronous Grids

Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems

An Accelerator-based Architecture Utilizing an Efficient Memory Link for Modern Computational Requirements

Handling concurrent requests in a secret sharing based storage system using Petri Nets

Mobile Transaction Processing for a Distributed War Environment