62 citations · 94 across the 10 of their papers we have counts for
11 papers
Neural Network for Weighted Signal Temporal Logic
Ruixuan Yan, Agung Julius
In this paper, we propose a neuro-symbolic framework called weighted Signal Temporal Logic Neural Network (wSTL-NN) that combines the characteristics of neural networks and tempora…
Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic
Ruixuan Yan, Agung Julius
In this paper, we develop a distributed monitoring framework for robot swarms so that the agents can monitor whether the executions of robot swarms satisfy Swarm Signal Temporal Lo…
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications
Zhe Xu, Agung Julius, Ufuk Topcu +1
In this paper, we present a controller synthesis approach for wind turbine generators (WTG) and energy storage systems with metric temporal logic (MTL) specifications, with provabl…
Graph Temporal Logic Inference for Classification and Identification
Zhe Xu, Alexander J Nettekoven, A. Agung Julius +1
Inferring spatial-temporal properties from data is important for many complex systems, such as additive manufacturing systems, swarm robotic systems and biological networks. Such s…
Rapid Circadian Entrainment in Models of Circadian Genes Regulation
Jiawei Yin, Agung Julius, John T. Wen
The light-based minimum-time circadian entrainment problem for mammals, Neurospora, and Drosophila is studied based on the mathematical models of their circadian gene regulation. T…
Continuous Circadian Phase Estimation Using Adaptive Notch Filter
Wei Qiao, Kyle Altman, Agung Julius +2
Actigraphy has been widely used for the analysis of circadian rhythm. Current practice applies regression analysis to data from multiple days to estimate the circadian phase. This…