A. Agung Julius
According to our database^{1},
A. Agung Julius
authored at least 72 papers
between 2003 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
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
Continuous Circadian Phase Estimation Using Adaptive Notch Filter.
CoRR, 2018
Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications.
Proceedings of the 2018 Annual American Control Conference, 2018
Robust Temporal Logic Inference for Hybrid System Observation An Application on Occupancy Detection of Smart Buildings.
Proceedings of the 2018 Annual American Control Conference, 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
Timeoptimal 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 MultiAgent Group Behavior Analysis.
CoRR, 2016
An MILP Approach for Realtime Optimal Controller Synthesis with Metric Temporal Logic Specifications.
CoRR, 2016
Lightbased circadian rhythm control: Entrainment and optimization.
Automatica, 2016
An MILP approach for realtime 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 bacteriapowered 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
Trajectorybased observer for hybrid automata fault diagnosis.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Safe Neighborhood Computation for Hybrid System Verification.
Proceedings of the Proceedings 4th Workshop on Hybrid Autonomous Systems, 2014
Trajectorybased formal controller synthesis for multilink 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 cellbased microrobots using a single global magnetic field.
Proceedings of the 10th International Conference on Ubiquitous Robots and Ambient Intelligence, 2013
STRONG: A TrajectoryBased 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 lightbased 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
Threedimensional 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 colortunable 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 steadystate data.
Automatica, 2011
Realtime feedback control using artificial magnetotaxis with rapidlyexploring random tree (RRT) for Tetrahymena pyriformis as a microbiorobot.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011
An application of monotone functions decomposition to the reconstruction of gene regulatory networks.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011
Integration of largescale 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 microthermalfluid control for active twophase 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
Trajectorybased 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 FiniteTime 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
Approximate simulation Relations for Hybrid Systems.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006
2003
Communicating Piecewise Deterministic Markov Processes.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003
Control of Hybrid Behavioral Automata by Interconnection.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003