Cover Image

TickTalk -- Timing API for Dynamically Federated Cyber-Physical Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Iannucci, Bob, Shrivastava, Aviral, Khayatian, Mohammad
Format:	Preprint
Published:	2019
Subjects:	Programming Languages Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
by: Lin, Shaokai, et al.
Published: (2024)

Sistemas de control basados en el estandar grafcet para la alteracion de bombas centrifugas
by: Guevara, Andres, et al.
Published: (2024)

Data-Driven Template-Free Invariant Generation
by: Xia, Yuan, et al.
Published: (2023)

Formal Simulation and Visualisation of Hybrid Programs
by: Mendes, Pedro, et al.
Published: (2024)

Intelligent Communication Planning for Constrained Environmental IoT Sensing with Reinforcement Learning
by: Hu, Yi, et al.
Published: (2023)

iCPS-DL: A Description Language for Autonomic Industrial Cyber-Physical Systems
by: Kouzapas, Dimitrios, et al.
Published: (2024)

Compiling OpenSCENARIO 2.1 for Scenario-Based Testing in CARLA
by: Gamage, Thoshitha, et al.
Published: (2026)

A Dynamic Coding Scheme to Prevent Covert Cyber-Attacks in Cyber-Physical Systems
by: Taheri, Mahdi, et al.
Published: (2025)

Stealthy Cyber-Attacks on Vehicle Lateral Dynamics: A System-Theoretic Analysis
by: Eslami, Ali, et al.
Published: (2026)

Cyber-Physical Security of Vehicles: Zero Dynamics Attacks Against Vehicle's Lateral Dynamics
by: Shaaban, Ghadeer, et al.
Published: (2024)

Retrieval Augmented (Knowledge Graph), and Large Language Model-Driven Design Structure Matrix (DSM) Generation of Cyber-Physical Systems
by: Bank, H. Sinan, et al.
Published: (2026)

Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems
by: Prahlad, Deeksha, et al.
Published: (2026)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
by: Gatherer, Alan, et al.
Published: (2024)

Dual-Use Commercial and Military Communications on a Single Platform using RAN Domain Specific Language
by: Gatherer, Alan, et al.
Published: (2024)

$\partial$CBDs: Differentiable Causal Block Diagrams
by: Beckers, Thomas, et al.
Published: (2026)

QuCtrl-BELL: A Compiler-Driven Sub-Microsecond Feedback Control Stack for Scalable Trapped-Ion Quantum Experiments
by: She, Junpeng, et al.
Published: (2026)

A Modular Safety Filter for Safety-Certified Cyber-Physical Systems
by: Bajelani, Mohammad, et al.
Published: (2024)

A Cyber-HIL for Investigating Control Systems in Ship Cyber Physical Systems under Communication Issues and Cyber Attacks
by: Vu, Linh, et al.
Published: (2023)

Mitigating Timing-Based Attacks in Real-Time Cyber-Physical Systems
by: Sain, Arkaprava, et al.
Published: (2026)

Adaptive Federated Learning to Optimize Integrated Flows in Cyber-Physical Data Centers
by: Liu, Junhong, et al.
Published: (2025)

Causality for Cyber-Physical Systems
by: Araujo, Hugo, et al.
Published: (2025)

Security of Distributed Parameter Cyber-Physical Systems: Cyber-Attack Detection in Linear Parabolic PDEs
by: Roy, Tanushree, et al.
Published: (2021)

Zero Dynamics Attack Detection and Isolation in Cyber-Physical Systems with Event-triggered Communication
by: Eslami, Ali, et al.
Published: (2025)

Tracking Real-time Anomalies in Cyber-Physical Systems Through Dynamic Behavioral Analysis
by: Krishnamurthy, Prashanth, et al.
Published: (2024)

Hierarchical Decentralized Stochastic Control for Cyber-Physical Systems
by: Kaza, Kesav, et al.
Published: (2025)

Decentralized Stealth Attacks on Cyber-Physical Systems
by: Ye, Xiuzhen, et al.
Published: (2025)

Systemization of Knowledge: Resilience and Fault Tolerance in Cyber-Physical Systems
by: Bulusu, Rahul
Published: (2025)

Integrating Personalized Federated Learning with Control Systems for Enhanced Performance
by: Smith, Alice, et al.
Published: (2025)

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
by: Jahandideh, Iman, et al.
Published: (2019)

Generating Sustainability-Targeting Attacks For Cyber-Physical Systems
by: Ahamed, Faysal, et al.
Published: (2025)

CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference
by: Xu, Kangwei, et al.
Published: (2025)

Automating Modelica Module Generation Using Large Language Models: A Case Study on Building Control Description Language
by: Wan, Hanlong, et al.
Published: (2025)

An optimization framework for resilient batch estimation in Cyber-Physical Systems
by: Kircher, Alexandre, et al.
Published: (2019)

Exploring Adversarial Threat Models in Cyber Physical Battery Systems
by: Padisala, Shanthan Kumar, et al.
Published: (2024)

CyberDep: Towards the Analysis of Cyber-Physical Power System Interdependencies Using Bayesian Networks and Temporal Data
by: Homoud, Leen Al, et al.
Published: (2024)

Optimal Dynamic Control of Bounded Jacobian Discrete-Time Systems via Interval Observers
by: Khajenejad, Mohammad
Published: (2025)

A Cyber-Physical Systems Framework for Tracking Post Thermal-Runaway Temperature and Smoke Dynamics in Underground Mines
by: Pareek, Yukta, et al.
Published: (2025)

Stochastic Control with Distributionally Robust Constraints for Cyber-Physical Systems Vulnerable to Attacks
by: Venkatesh, Nishanth, et al.
Published: (2023)

A Survey of Resilient Coordination for Cyber-Physical Systems Against Malicious Attacks
by: Liao, Zirui, et al.
Published: (2024)

A Partition-Driven Integrated Security Architecture for Cyber-Physical Systems
by: Javed, Yahya, et al.
Published: (2019)