# A. Agung Julius

According to our database

^{1}, A. Agung Julius## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis.

IEEE Trans. Automation Science and Engineering, 2018

Task and Motion Planning for Manipulator Arms With Metric Temporal Logic Specifications.

IEEE Robotics and Automation Letters, 2018

2017

Entrainment Control of Phase Dynamics.

IEEE Trans. Automat. Contr., 2017

Infrastructure Bandwidth Allocation for Social Welfare Maximization in Future Connected Autonomous Vehicular Networks.

Proceedings of the 2nd ACM International Workshop on Smart, 2017

Provably correct design of observations for fault detection with privacy preservation.

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Time-optimal control for circadian entrainment for a model with circadian and sleep dynamics.

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Optimal energy storage control for frequency regulation under temporal logic specifications.

Proceedings of the 2017 American Control Conference, 2017

Traffic flow control in vehicular communication networks.

Proceedings of the 2017 American Control Conference, 2017

2016

Verification of Hybrid Automata Diagnosability With Measurement Uncertainty.

IEEE Trans. Automat. Contr., 2016

Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis.

CoRR, 2016

An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications.

CoRR, 2016

Light-based circadian rhythm control: Entrainment and optimization.

Automatica, 2016

An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications.

Proceedings of the 2016 American Control Conference, 2016

2015

Safety Controller Synthesis Using Human Generated Trajectories.

IEEE Trans. Automat. Contr., 2015

Dynamic obstacle avoidance for bacteria-powered microrobots.

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Algorithms for simultaneous motion control of multiple T. pyriformis cells: Model predictive control and Particle Swarm Optimization.

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Probabilistic diagnosability of hybrid systems.

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Trajectory-based observer for hybrid automata fault diagnosis.

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Safe Neighborhood Computation for Hybrid System Verification.

Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014

Trajectory-based formal controller synthesis for multi-link robots with elastic joints.

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems.

Proceedings of the American Control Conference, 2014

Functional gradient descent method for Metric Temporal Logic specifications.

Proceedings of the American Control Conference, 2014

2013

Motion control of magnetized

*Tetrahymena pyriformis*cells by a magnetic field with Model Predictive Control.
I. J. Robotics Res., 2013

Swarm control of cell-based microrobots using a single global magnetic field.

Proceedings of the 10th International Conference on Ubiquitous Robots and Ambient Intelligence, 2013

STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems.

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Feedback control of many magnetized: Tetrahymena pyriformis cells by exploiting phase inhomogeneity.

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Optimal and feedback control for light-based circadian entrainment.

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Feedback control law generation for safety controller synthesis.

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Optimizing regulation functions in gene network identification.

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Adaptive circadian argument estimator and its application to circadian argument control.

Proceedings of the American Control Conference, 2013

Optimization of human generated trajectories for safety controller synthesis.

Proceedings of the American Control Conference, 2013

2012

Tracking Tetrahymena Pyriformis Cells using Decision Trees

CoRR, 2012

Motion control of Tetrahymena pyriformis cells with artificial magnetotaxis: Model Predictive Control (MPC) approach.

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Three-dimensional control of engineered motile cellular microrobots.

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Tracking Tetrahymena pyriformis cells using decision trees.

Proceedings of the 21st International Conference on Pattern Recognition, 2012

Optimal circadian rhythm control with light input for rapid entrainment and improved vigilance.

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Learning potential functions by demonstration for path planning.

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Safety controller synthesis using human generated trajectories: Nonlinear dynamics with feedback linearization and differential flatness.

Proceedings of the American Control Conference, 2012

Modeling and feedback control of color-tunable LED lighting systems.

Proceedings of the American Control Conference, 2012

2011

Modeling, control and experimental characterization of microbiorobots.

I. J. Robotics Res., 2011

Inferring stable genetic networks from steady-state data.

Automatica, 2011

Real-time feedback control using artificial magnetotaxis with rapidly-exploring random tree (RRT) for Tetrahymena pyriformis as a microbiorobot.

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Integration of large-scale metabolic, signaling, and gene regulatory networks with application to infection responses.

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Genetic regulatory network identification using multivariate monotone functions.

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Biosensing and actuation for microbiorobots.

Proceedings of the IEEE International Conference on Robotics and Automation, 2010

Extremum seeking micro-thermal-fluid control for active two-phase microelectronics cooling.

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Circadian system modeling and phase control.

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Using computer games for hybrid systems controller synthesis.

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Trajectory-based controller design for hybrid systems with affine continuous dynamics.

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009

Approximations of Stochastic Hybrid Systems.

IEEE Trans. Automat. Contr., 2009

Approximate equivalence and synchronization of metric transition systems.

Systems & Control Letters, 2009

Harnessing bacterial power in microscale actuation.

Proceedings of the 2009 IEEE International Conference on Robotics and Automation, 2009

Trajectory Based Verification Using Local Finite-Time Invariance.

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008

Parametrization of the Regular Equivalences of the Canonical Controller.

IEEE Trans. Automat. Contr., 2008

Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli.

IEEE Trans. Automat. Contr., 2008

Approximate reduction of dynamic systems.

Systems & Control Letters, 2008

Approximate Simulation Relations for Hybrid Systems.

Discrete Event Dynamic Systems, 2008

Probabilistic testing for stochastic hybrid systems.

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Metabolic networks analysis using convex optimization.

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Robust Test Generation and Coverage for Hybrid Systems.

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Hybrid model predictive control of induction of Escherichia coli.

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Verification of temporal properties on hybrid automata by simulation relations.

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Approximate timed abstractions of hybrid automata.

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

Approximate Abstraction of Stochastic Hybrid Automata.

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006