24 citations · 58 across the 14 of their papers we have counts for
14 papers
PSM: Policy Synchronised Deterministic Memory
Michael Mendler, Marc Pouzet
Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…
Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
Moon Kim, Avinash Malik, Partha Roop
Hybrid systems are mostly modelled, simulated, and verified in the time domain by computer scientists. Engineers, however, use both frequency and time domain modelling due to their…
Logical Synchrony Networks: A formal model for deterministic distribution
Logan Kenwright, Partha Roop, Nathan Allen +4
Kahn Process Networks (KPNs) are a deterministic Model of Computation (MoC) for distributed systems. KPNs supports non-blocking writes and blocking reads, with the consequent assum…
Spatial-Temporal Conditional Random Field for Human Trajectory Prediction
Pengqian Han, Jiamou Liu, Jialing He +3
Trajectory prediction is of significant importance in computer vision. Accurate pedestrian trajectory prediction benefits autonomous vehicles and robots in planning their motion. P…
STF: Spatial Temporal Fusion for Trajectory Prediction
Pengqian Han, Jiamou Liu, Tianzhe Bao +1
Trajectory prediction is a challenging task that aims to predict the future trajectory of vehicles or pedestrians over a short time horizon based on their historical positions. The…
Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG
Abhinandan Panda, Srinivas Pinisetty, Partha Roop
Biophysical signals such as Electrocardiogram (ECG) and Photoplethysmogram (PPG) are key to the sensing of vital parameters for wellbeing. Coincidentally, ECG and PPG are signals,…
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers
Hammond Pearce, Xin Yang, Srinivas Pinisetty +1
Cyber-Physical Systems (CPSs) such as those found within autonomous vehicles are increasingly adopting Artificial Neural Network (ANN)-based controllers. To ensure the safety of th…
Designing Neural Networks for Real-Time Systems
Hammond Pearce, Xin Yang, Partha S. Roop +2
Artificial Neural Networks (ANNs) are increasingly being used within safety-critical Cyber-Physical Systems (CPSs). They are often co-located with traditional embedded software, an…
Quantized State Hybrid Automata for Cyber-Physical Systems
Avinash Malik, Partha Roop
Cyber-physical systems involve a network of discrete controllers that control physical processes. Examples range from autonomous cars to implantable medical devices, which are high…
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices
Weiwei Ai, Nitish Patel, Partha Roop +3
Virtual heart models have been proposed to enhance the safety of implantable cardiac devices through closed loop validation. To communicate with a virtual heart, devices have been…
Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, Steven Smyth +2
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box syst…
Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing
Eugene Yip, Sidharta Andalam, Partha S. Roop +4
The heart is a vital organ that relies on the orchestrated propagation of electrical stimuli to coordinate each heart beat. Abnormalities in the heart's electrical behaviour can be…
A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)
Avinash Malik, Partha S Roop, Sidharta Andalam +2
Hybrid systems are discrete controllers that are used for controlling a physical process (plant) exhibiting continuous dynamics. A hybrid automata (HA) is a well known and widely u…
A unified framework for modeling and implementation of hybrid systems with synchronous controllers
Avinash Malik, Partha Roop
This paper presents a novel approach to including non-instantaneous discrete control transitions in the linear hybrid automaton approach to simulation and verification of hybrid co…