A. Agung Julius

Affiliations:
  • Rensselaer Polytechnic Institute, Light Enabled Systems and Application, Troy, NY, USA


According to our database1, A. Agung Julius authored at least 120 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Iterative Planning for Multi-agent Systems: An Application in Energy-Aware UAV-UGV Cooperative Task Site Assignments.
CoRR, 2024

2023
High-Speed High-Accuracy Spatial Curve Tracking Using Motion Primitives in Industrial Robots.
CoRR, 2023

High-Speed High-Accuracy Spatial Curve Tracking Using Motion Primitives in Industrial Robots.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Weighted Clock Logic Point Process.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

Robustness of Optimal Circadian Rhythm Entrainment under Model Perturbation.
Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

Efficient Estimation of the Human Circadian Phase via Kalman Filtering.
Proceedings of the 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2023

Optimal Control of Discrete-Time Multivariate Point Processes with Finite-Time Steady State.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Human-as-advisor in the loop for autonomous lane-keeping.
Proceedings of the American Control Conference, 2023

Motion Profile Optimization in Industrial Robots using Reinforcement Learning.
Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2023

2022
Interpretable seizure detection with signal temporal logic neural network.
Biomed. Signal Process. Control., September, 2022

Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications.
IEEE Robotics Autom. Lett., 2022

Ensemble control of spatial variance of microbot systems through sequencing of motion primitives from optimal control trajectories.
Intell. Serv. Robotics, 2022

Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks.
IEEE Control. Syst. Lett., 2022

Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description.
Proceedings of the IEEE International Conference on Data Mining, 2022

2021
A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications.
IEEE Robotics Autom. Lett., 2021

Neural Network for Weighted Signal Temporal Logic.
CoRR, 2021

Automatic sleeping time estimation and mild traumatic brain injury (mTBI) detection using actigraphy data.
Biomed. Signal Process. Control., 2021

STONE: Signal Temporal Logic Neural Network for Time Series Classification.
Proceedings of the 2021 International Conference on Data Mining, 2021

2020
Traffic Flow Control in Vehicular Multi-Hop Networks With Data Caching and Infrastructure Support.
IEEE/ACM Trans. Netw., 2020

Traffic Flow Control in Vehicular Multi-Hop Networks with Data Caching.
IEEE Trans. Mob. Comput., 2020

Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic.
CoRR, 2020

Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties.
CoRR, 2020

2019
Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots.
IEEE Trans Autom. Sci. Eng., 2019

Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications.
IEEE Syst. J., 2019

Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems.
IEEE Syst. J., 2019

Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis.
IEEE Robotics Autom. Lett., 2019

Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications.
CoRR, 2019

Assessing circadian rhythms and entrainment via intracranial temperature after severe head trauma.
Biomed. Signal Process. Control., 2019

Rapid Circadian Entrainment in Models of Circadian Genes Regulation.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Graph Temporal Logic Inference for Classification and Identification.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Information-Guided Temporal Logic Inference with Prior Knowledge.
Proceedings of the 2019 American Control Conference, 2019

2018
Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis.
IEEE Trans Autom. Sci. Eng., 2018

Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage.
IEEE Syst. J., 2018

Task and Motion Planning for Manipulator Arms With Metric Temporal Logic Specifications.
IEEE Robotics Autom. Lett., 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. Autom. Control., 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. Autom. Control., 2016

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

Light-based circadian rhythm control: Entrainment and optimization.
Autom., 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. Autom. Control., 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

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

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 <i>Tetrahymena pyriformis</i> cells by a magnetic field with Model Predictive Control.
Int. 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
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.
Int. J. Robotics Res., 2011

Inferring stable genetic networks from steady-state data.
Autom., 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

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 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

Modeling of drosophila circadian system based on locomotor activity.
Proceedings of the American Control Conference, 2011

Robust flux balance analysis of metabolic networks.
Proceedings of the American Control Conference, 2011

Bacterial persistence: Mathematical modeling and optimal treatment strategy.
Proceedings of the American 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

Parallel-channel flow instabilities and active control schemes in two-phase microchannel heat exchanger systems.
Proceedings of the American Control Conference, 2010

Control systems challenges in energy efficient portable UV based water sterilizer.
Proceedings of the American Control Conference, 2010

2009
Approximations of Stochastic Hybrid Systems.
IEEE Trans. Autom. Control., 2009

Approximate equivalence and synchronization of metric transition systems.
Syst. Control. Lett., 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. Autom. Control., 2008

Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli.
IEEE Trans. Autom. Control., 2008

Approximate reduction of dynamic systems.
Syst. Control. Lett., 2008

Approximate Simulation Relations for Hybrid Systems.
Discret. Event Dyn. Syst., 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

Identification of stable genetic networks using convex programming.
Proceedings of the American Control Conference, 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

Controlling biological systems: the lactose regulation system of Escherichia coli.
Proceedings of the American Control Conference, 2007

2006
Approximate Abstraction of Stochastic Hybrid Automata.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

Approximate Reduction of Dynamical Systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Approximate equivalence and approximate synchronization of metric transition systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Value passing for communicating piecewise deterministic Markov processes.
Proceedings of the American Control Conference, 2006

Approximate bisimulation for a class of stochastic hybrid systems.
Proceedings of the American Control Conference, 2006

2005
The canonical controllers and regular interconnection.
Syst. Control. Lett., 2005

Bisimulation as congruence in the behavioral setting.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Behavioral control in the presence of disturbances.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2003
Compatibility of behavior interconnections.
Proceedings of the 7th European Control Conference, 2003

The canonical controller and its regularity.
Proceedings of the 42nd IEEE Conference on Decision and Control, 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

2002
Achievable behavior by composition.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

The maximal controlled invariant set of switched linear systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002


  Loading...