A. Agung Julius

86 papers A* 6A 2B 1C 14Journal 26Unranked 37

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