| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zhe Xu 0005, A. Agung Julius |
Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems.  |
IEEE Systems Journal  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu |
Graph Temporal Logic Inference for Classification and Identification. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Zhe Xu 0005, Sayan Saha, Botao Hu, Sandipan Mishra, A. Agung Julius |
Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots. |
IEEE Trans. Automation Science and Engineering |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Melkior Ornik, A. Agung Julius, Ufuk Topcu |
Information-Guided Temporal Logic Inference with Prior Knowledge. |
ACC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Ruixuan Yan, Zhe Xu 0005, Agung Julius |
Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. |
IEEE Robotics and Automation Letters |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Agung Julius, Joe H. Chow |
Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications. |
IEEE Systems Journal |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph D. Gleason, Meeko M. K. Oishi, John T. Wen, Agung Julius, Suguna Pappu, Howard Yonas |
Assessing circadian rhythms and entrainment via intracranial temperature after severe head trauma. |
Biomed. Signal Proc. and Control |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, A. Agung Julius, Joe H. Chow |
Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage. |
IEEE Systems Journal |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Melkior Ornik, A. Agung Julius, Ufuk Topcu |
Information-Guided Temporal Logic Inference with Prior Knowledge. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Zhe Xu 0005, A. Agung Julius |
Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis. |
IEEE Trans. Automation Science and Engineering |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Qiao, Kyle Altman, Agung Julius, Bernard Possidente, John T. Wen |
Continuous Circadian Phase Estimation Using Adaptive Notch Filter. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Zhe Xu 0005, Agung Julius, Joe H. Chow |
Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications. |
ACC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Yi Deng, Agung Julius |
Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. |
ACC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayan Saha, Anak Agung Julius |
Task and Motion Planning for Manipulator Arms With Metric Temporal Logic Specifications. |
IEEE Robotics and Automation Letters |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Liu, Alhussein A. Abouzeid, A. Agung Julius |
Traffic flow control in vehicular communication networks. |
ACC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Teng Liu, Alhussein A. Abouzeid, A. Agung Julius |
Infrastructure Bandwidth Allocation for Social Welfare Maximization in Future Connected Autonomous Vehicular Networks. |
CarSys@MobiCom |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Qiao, John T. Wen, Agung Julius |
Entrainment Control of Phase Dynamics. |
IEEE Trans. Automat. Contr. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Agung Julius, Joe H. Chow |
Optimal energy storage control for frequency regulation under temporal logic specifications. |
ACC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Agung Julius, Jiawei Yin, John T. Wen |
Time-optimal control for circadian entrainment for a model with circadian and sleep dynamics. |
CDC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Sayan Saha, Agung Julius |
Provably correct design of observations for fault detection with privacy preservation. |
CDC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. Automat. Contr. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayan Saha, A. Agung Julius |
An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Sayan Saha, A. Agung Julius |
An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications. |
ACC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaxiang Zhang, Wei Qiao, John T. Wen, Agung Julius |
Light-based circadian rhythm control: Entrainment and optimization. |
Automatica |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Agung Julius |
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Andrew K. Winn, A. Agung Julius |
Safety Controller Synthesis Using Human Generated Trajectories. |
IEEE Trans. Automat. Contr. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Ou, Peter Kang, MinJun Kim 0001, A. Agung Julius |
Algorithms for simultaneous motion control of multiple T. pyriformis cells: Model predictive control and Particle Swarm Optimization. |
ICRA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoyeon Kim, U. Kei Cheang, A. Agung Julius, MinJun Kim 0001 |
Dynamic obstacle avoidance for bacteria-powered microrobots. |
IROS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, A. Agung Julius, Alessandro D'Innocenzo |
Probabilistic diagnosability of hybrid systems. |
HSCC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Alessandro D'Innocenzo, A. Agung Julius |
Trajectory-based observer for hybrid automata fault diagnosis. |
CDC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Xu 0005, Calin Belta, Agung Julius |
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. |
ADHS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, A. Agung Julius |
Safe Neighborhood Computation for Hybrid System Verification. |
HAS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Andrew K. Winn, Georgios E. Fainekos, A. Agung Julius |
Functional gradient descent method for Metric Temporal Logic specifications. |
ACC |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Alessandro D'Innocenzo |
Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems. |
ACC |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayan Saha, A. Agung Julius |
Trajectory-based formal controller synthesis for multi-link robots with elastic joints. |
CDC |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Ou, Dal Hyung Kim, Paul Seung Soo Kim, MinJun Kim 0001, A. Agung Julius |
Motion control of magnetized Tetrahymena pyriformis cells by a magnetic field with Model Predictive Control. |
I. J. Robotics Res. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron T. Becker, Yan Ou, Paul Seung Soo Kim, MinJun Kim 0001, A. Agung Julius |
Feedback control of many magnetized: Tetrahymena pyriformis cells by exploiting phase inhomogeneity. |
IROS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Deng, Akshay Rajhans, A. Agung Julius |
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. |
QEST |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew K. Winn, A. Agung Julius |
Optimization of human generated trajectories for safety controller synthesis. |
ACC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Andrew K. Winn, A. Agung Julius |
Feedback control law generation for safety controller synthesis. |
CDC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilhem Richard, A. Agung Julius, Calin Belta |
Optimizing regulation functions in gene network identification. |
CDC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaxiang Zhang, John T. Wen, Agung Julius |
Adaptive circadian argument estimator and its application to circadian argument control. |
ACC |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jiaxiang Zhang, John T. Wen, Agung Julius |
Optimal and feedback control for light-based circadian entrainment. |
CDC |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Seung Soo Kim, Aaron T. Becker, Yan Ou, Anak Agung Julius, MinJun Kim 0001 |
Swarm control of cell-based microrobots using a single global magnetic field. |
URAI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Quan Wang, Yan Ou, A. Agung Julius, Kim L. Boyer, MinJun Kim 0001 |
Tracking Tetrahymena Pyriformis Cells using Decision Trees |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dal Hyung Kim, Paul Seung Soo Kim, A. Agung Julius, MinJun Kim 0001 |
Three-dimensional control of engineered motile cellular microrobots. |
ICRA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Ou, Dal Hyung Kim, Paul Seung Soo Kim, MinJun Kim 0001, A. Agung Julius |
Motion control of Tetrahymena pyriformis cells with artificial magnetotaxis: Model Predictive Control (MPC) approach. |
ICRA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Andrew K. Winn |
Safety controller synthesis using human generated trajectories: Nonlinear dynamics with feedback linearization and differential flatness. |
ACC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Quan Wang, Yan Ou, A. Agung Julius, Kim L. Boyer, MinJun Kim 0001 |
Tracking Tetrahymena pyriformis cells using decision trees. |
ICPR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andrew K. Winn, Xuemei Gao, Sandipan Mishra, A. Agung Julius |
Learning potential functions by demonstration for path planning. |
CDC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sina Afshari, Sandipan Mishra, Agung Julius, Fernando C. Lizarralde, John T. Wen |
Modeling and feedback control of color-tunable LED lighting systems. |
ACC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jiaxiang Zhang, John T. Wen, Agung Julius |
Optimal circadian rhythm control with light input for rapid entrainment and improved vigilance. |
CDC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas |
Inferring stable genetic networks from steady-state data. |
Automatica |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, A. Agung Julius, MinJun Kim 0001, Vijay Kumar 0001, George J. Pappas |
Modeling, control and experimental characterization of microbiorobots. |
I. J. Robotics Res. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dal Hyung Kim, Sean Brigandi, A. Agung Julius, MinJun Kim 0001 |
Real-time feedback control using artificial magnetotaxis with rapidly-exploring random tree (RRT) for Tetrahymena pyriformis as a microbiorobot. |
ICRA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Cooper, Calin Belta, A. Agung Julius |
Genetic regulatory network identification using multivariate monotone functions. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmut Selman Sakar, Edward B. Steager, A. Agung Julius, MinJun Kim 0001, Vijay Kumar 0001, George J. Pappas |
Biosensing and actuation for microbiorobots. |
ICRA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Sina Afshari |
Using computer games for hybrid systems controller synthesis. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius |
Trajectory-based controller design for hybrid systems with affine continuous dynamics. |
CASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiejun Zhang, John T. Wen, Agung Julius, Yoav Peles, Michael K. Jensen |
Extremum seeking micro-thermal-fluid control for active two-phase microelectronics cooling. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaxiang Zhang, Andrew Bierman, John T. Wen, Agung Julius, Mariana Figueiro |
Circadian system modeling and phase control. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, George J. Pappas |
Approximations of Stochastic Hybrid Systems. |
IEEE Trans. Automat. Contr. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas |
Approximate equivalence and synchronization of metric transition systems. |
Systems & Control Letters |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Mahmut Selman Sakar, Edward B. Steager, U. Kei Cheang, MinJun Kim 0001, Vijay Kumar 0001, George J. Pappas |
Harnessing bacterial power in microscale actuation. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, George J. Pappas |
Trajectory Based Verification Using Local Finite-Time Invariance. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard, A. Agung Julius, George J. Pappas |
Approximate Simulation Relations for Hybrid Systems. |
Discrete Event Dynamic Systems |
2008 |
DBLP DOI BibTeX RDF |
Approximate simulation relation, Approximation, Abstractions, Hybrid systems |
| 1 | A. Agung Julius, Ádám M. Halász, Mahmut Selman Sakar, Harvey Rubin, Vijay Kumar 0001, George J. Pappas |
Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli. |
IEEE Trans. Automat. Contr. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas |
Approximate reduction of dynamic systems. |
Systems & Control Letters |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, George J. Pappas |
Probabilistic testing for stochastic hybrid systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Marcin Imielinski, George J. Pappas |
Metabolic networks analysis using convex optimization. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anak Agung Julius, Jan Willem Polderman, Arjan van der Schaft |
Parametrization of the Regular Equivalences of the Canonical Controller. |
IEEE Trans. Automat. Contr. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas |
Robust Test Generation and Coverage for Hybrid Systems. |
HSCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro D'Innocenzo, A. Agung Julius, Maria Domenica Di Benedetto, George J. Pappas |
Approximate timed abstractions of hybrid automata. |
CDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Mahmut Selman Sakar, Alberto Bemporad, George J. Pappas |
Hybrid model predictive control of induction of Escherichia coli. |
CDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius |
Approximate Abstraction of Stochastic Hybrid Automata. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Girard, A. Agung Julius, George J. Pappas |
Approximate simulation Relations for Hybrid Systems. |
ADHS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Agung Julius, Stefan Strubbe, A. J. van der Schaft |
Control of Hybrid Behavioral Automata by Interconnection. |
ADHS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Strubbe, A. Agung Julius, A. J. van der Schaft |
Communicating Piecewise Deterministic Markov Processes. |
ADHS |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license