A. Agung Julius

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 20

Top Topics

Hybrid Automata

Controller Synthesis

Top Venues

Biomed. Signal Process. Control.

Publications

A. Agung Julius, Yunshi Wen, Ruixuan Yan
Optimal Control of Discrete-Time Multivariate Point Processes with Finite-Time Steady State. CDC (2023)
Chukwuemeka O. Ike, John T. Wen, Meeko M. K. Oishi, Lee K. Brown, A. Agung Julius
Efficient Estimation of the Human Circadian Phase via Kalman Filtering. EMBC (2023)
Neelanga Thelasingha, A. Agung Julius, Min Jun Kim
Ensemble control of spatial variance of microbot systems through sequencing of motion primitives from optimal control trajectories. Intell. Serv. Robotics 15 (2) (2022)
Ruixuan Yan, A. Agung Julius
Interpretable seizure detection with signal temporal logic neural network. Biomed. Signal Process. Control. 78 (2022)
Jiawei Yin, A. Agung Julius, John T. Wen, John P. Hanifin, Benjamin Warfield, George C. Brainard
Automatic sleeping time estimation and mild traumatic brain injury (mTBI) detection using actigraphy data. Biomed. Signal Process. Control. 66 (2021)
Teng Liu, Alhussein A. Abouzeid, A. Agung Julius
Traffic Flow Control in Vehicular Multi-Hop Networks With Data Caching and Infrastructure Support. IEEE/ACM Trans. Netw. 28 (1) (2020)
Teng Liu, Alhussein A. Abouzeid, A. Agung Julius
Traffic Flow Control in Vehicular Multi-Hop Networks with Data Caching. IEEE Trans. Mob. Comput. 19 (1) (2020)
Zhe Xu, A. Agung Julius
Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems. IEEE Syst. J. 13 (3) (2019)
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
Information-Guided Temporal Logic Inference with Prior Knowledge. ACC (2019)
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
Graph Temporal Logic Inference for Classification and Identification. CDC (2019)
Zhe Xu, Sayan Saha, Botao Hu, Sandipan Mishra, A. Agung Julius
Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots. IEEE Trans Autom. Sci. Eng. 16 (1) (2019)
Zhe Xu, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
Graph Temporal Logic Inference for Classification and Identification. CoRR (2019)
Zhe Xu, A. Agung Julius, Joe H. Chow
Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage. IEEE Syst. J. 12 (4) (2018)
Zhe Xu, A. Agung Julius
Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis. IEEE Trans Autom. Sci. Eng. 15 (1) (2018)
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
Information-Guided Temporal Logic Inference with Prior Knowledge. CoRR (2018)
Teng Liu, Alhussein A. Abouzeid, A. Agung Julius
Infrastructure Bandwidth Allocation for Social Welfare Maximization in Future Connected Autonomous Vehicular Networks. CarSys@MobiCom (2017)
Teng Liu, Alhussein A. Abouzeid, A. Agung Julius
Traffic flow control in vehicular communication networks. ACC (2017)
Yi Deng, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro, A. Agung Julius
Verification of Hybrid Automata Diagnosability With Measurement Uncertainty. IEEE Trans. Autom. Control. 61 (4) (2016)
Sayan Saha, A. Agung Julius
An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications. CoRR (2016)
Sayan Saha, A. Agung Julius
An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications. ACC (2016)
Yi Deng, A. Agung Julius, Alessandro D'Innocenzo
Probabilistic diagnosability of hybrid systems. HSCC (2015)
Yan Ou, Peter Kang, MinJun Kim, A. Agung Julius
Algorithms for simultaneous motion control of multiple T. pyriformis cells: Model predictive control and Particle Swarm Optimization. ICRA (2015)
Hoyeon Kim, U. Kei Cheang, A. Agung Julius, MinJun Kim
Dynamic obstacle avoidance for bacteria-powered microrobots. IROS (2015)
Andrew K. Winn, A. Agung Julius
Safety Controller Synthesis Using Human Generated Trajectories. IEEE Trans. Autom. Control. 60 (6) (2015)
Yi Deng, Alessandro D'Innocenzo, A. Agung Julius
Trajectory-based observer for hybrid automata fault diagnosis. CDC (2015)
Houssam Abbas, Andrew K. Winn, Georgios Fainekos, A. Agung Julius
Functional gradient descent method for Metric Temporal Logic specifications. ACC (2014)
Yi Deng, A. Agung Julius
Safe Neighborhood Computation for Hybrid System Verification. HAS (2014)
Sayan Saha, A. Agung Julius
Trajectory-based formal controller synthesis for multi-link robots with elastic joints. CDC (2014)
A. Agung Julius, Alessandro D'Innocenzo
Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems. ACC (2014)
Yi Deng, Akshay Rajhans, A. Agung Julius
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. QEST (2013)
Guilhem Richard, A. Agung Julius, Calin Belta
Optimizing regulation functions in gene network identification. CDC (2013)
Andrew K. Winn, A. Agung Julius
Feedback control law generation for safety controller synthesis. CDC (2013)
Aaron T. Becker, Yan Ou, Paul Seung Soo Kim, MinJun Kim, A. Agung Julius
Feedback control of many magnetized: Tetrahymena pyriformis cells by exploiting phase inhomogeneity. IROS (2013)
Andrew K. Winn, A. Agung Julius
Optimization of human generated trajectories for safety controller synthesis. ACC (2013)
Yan Ou, Dal Hyung Kim, Paul Seung Soo Kim, MinJun Kim, A. Agung Julius
cells by a magnetic field with Model Predictive Control. Int. J. Robotics Res. 32 (1) (2013)
A. Agung Julius, Andrew K. Winn
Safety controller synthesis using human generated trajectories: Nonlinear dynamics with feedback linearization and differential flatness. ACC (2012)
Quan Wang, Yan Ou, A. Agung Julius, Kim L. Boyer, MinJun Kim
Tracking Tetrahymena pyriformis cells using decision trees. ICPR (2012)
Quan Wang, Yan Ou, A. Agung Julius, Kim L. Boyer, MinJun Kim
Tracking Tetrahymena Pyriformis Cells using Decision Trees CoRR (2012)
Dal Hyung Kim, Paul Seung Soo Kim, A. Agung Julius, MinJun Kim
Three-dimensional control of engineered motile cellular microrobots. ICRA (2012)
Andrew K. Winn, Xuemei Gao, Sandipan Mishra, A. Agung Julius
Learning potential functions by demonstration for path planning. CDC (2012)
Yan Ou, Dal Hyung Kim, Paul Seung Soo Kim, MinJun Kim, A. Agung Julius
Motion control of Tetrahymena pyriformis cells with artificial magnetotaxis: Model Predictive Control (MPC) approach. ICRA (2012)
Nicholas Cooper, Calin Belta, A. Agung Julius
Genetic regulatory network identification using multivariate monotone functions. CDC/ECC (2011)
Nicholas Cooper, A. Agung Julius
Bacterial persistence: Mathematical modeling and optimal treatment strategy. ACC (2011)
Hyeygjeon Chang, Guilhem Richard, A. Agung Julius, Calin Belta, Salomon Amar
An application of monotone functions decomposition to the reconstruction of gene regulatory networks. EMBC (2011)
Dal Hyung Kim, Sean Brigandi, A. Agung Julius, MinJun Kim
Real-time feedback control using artificial magnetotaxis with rapidly-exploring random tree (RRT) for Tetrahymena pyriformis as a microbiorobot. ICRA (2011)
Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas
Inferring stable genetic networks from steady-state data. Autom. 47 (6) (2011)
Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas
Modeling, control and experimental characterization of microbiorobots. Int. J. Robotics Res. 30 (6) (2011)
Michael M. Zavlanos, A. Agung Julius
Robust flux balance analysis of metabolic networks. ACC (2011)
Guilhem Richard, Hyeygjeon Chang, Igor Cizelj, Calin Belta, A. Agung Julius, Salomon Amar
Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses. CDC/ECC (2011)
A. Agung Julius, Shayla M. Sawyer
Control systems challenges in energy efficient portable UV based water sterilizer. ACC (2010)
A. Agung Julius, Sina Afshari
Using computer games for hybrid systems controller synthesis. CDC (2010)
Mahmut Selman Sakar, Edward B. Steager, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas
Biosensing and actuation for microbiorobots. ICRA (2010)
A. Agung Julius
Trajectory-based controller design for hybrid systems with affine continuous dynamics. CASE (2010)
A. Agung Julius, George J. Pappas
Approximations of Stochastic Hybrid Systems. IEEE Trans. Autom. Control. 54 (6) (2009)
A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas
Approximate equivalence and synchronization of metric transition systems. Syst. Control. Lett. 58 (2) (2009)
A. Agung Julius, Mahmut Selman Sakar, Edward B. Steager, U. Kei Cheang, MinJun Kim, Vijay Kumar, George J. Pappas
Harnessing bacterial power in microscale actuation. ICRA (2009)
A. Agung Julius, George J. Pappas
Trajectory Based Verification Using Local Finite-Time Invariance. HSCC (2009)
A. Agung Julius, Marcin Imielinski, George J. Pappas
Metabolic networks analysis using convex optimization. CDC (2008)
Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas
Identification of stable genetic networks using convex programming. ACC (2008)
A. Agung Julius, Ádám M. Halász, Mahmut Selman Sakar, Harvey Rubin, Vijay Kumar, George J. Pappas
Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli. IEEE Trans. Autom. Control. 53 (2008)
Antoine Girard, A. Agung Julius, George J. Pappas
Approximate Simulation Relations for Hybrid Systems. Discret. Event Dyn. Syst. 18 (2) (2008)
Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas
Approximate reduction of dynamic systems. Syst. Control. Lett. 57 (7) (2008)
A. Agung Julius, George J. Pappas
Probabilistic testing for stochastic hybrid systems. CDC (2008)
A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas
Controlling biological systems: the lactose regulation system of Escherichia coli. ACC (2007)
Alessandro D'Innocenzo, A. Agung Julius, Maria Domenica Di Benedetto, George J. Pappas
Approximate timed abstractions of hybrid automata. CDC (2007)
A. Agung Julius, Mahmut Selman Sakar, Alberto Bemporad, George J. Pappas
Hybrid model predictive control of induction of Escherichia coli. CDC (2007)
Alessandro D'Innocenzo, A. Agung Julius, George J. Pappas, Maria Domenica Di Benedetto, Stefano Di Gennaro
Verification of temporal properties on hybrid automata by simulation relations. CDC (2007)
A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
Robust Test Generation and Coverage for Hybrid Systems. HSCC (2007)
Antoine Girard, A. Agung Julius, George J. Pappas
Approximate simulation Relations for Hybrid Systems. ADHS (2006)
A. Agung Julius, Antoine Girard, George J. Pappas
Approximate bisimulation for a class of stochastic hybrid systems. ACC (2006)
A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas
Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli. CDC (2006)
A. Agung Julius
Approximate Abstraction of Stochastic Hybrid Automata. HSCC (2006)
A. Agung Julius, George J. Pappas
Approximate equivalence and approximate synchronization of metric transition systems. CDC (2006)
A. Agung Julius, Madhu N. Belur
Behavioral control in the presence of disturbances. CDC/ECC (2005)
A. Agung Julius, Jan C. Willems, Madhu N. Belur, Harry L. Trentelman
The canonical controllers and regular interconnection. Syst. Control. Lett. 54 (8) (2005)
A. Agung Julius, A. J. van der Schaft
Bisimulation as congruence in the behavioral setting. CDC/ECC (2005)
Stefan Strubbe, A. Agung Julius, A. J. van der Schaft
Communicating Piecewise Deterministic Markov Processes. ADHS (2003)
Jan C. Willems, A. Agung Julius, Madhu N. Belur, Harry L. Trentelman
The canonical controller and its regularity. CDC (2003)
A. Agung Julius, A. J. van der Schaft
Compatibility of behavior interconnections. ECC (2003)
A. Agung Julius, Stefan Strubbe, A. J. van der Schaft
Control of Hybrid Behavioral Automata by Interconnection. ADHS (2003)
A. J. van der Schaft, A. Agung Julius
Achievable behavior by composition. CDC (2002)
A. Agung Julius, A. J. van der Schaft
The maximal controlled invariant set of switched linear systems. CDC (2002)