The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of A. Agung Julius Agung Julius Anak Agung Julius ( http://dblp.L3S.de/Authors/A._Agung_Julius )

URL (Homepage):  https://orcid.org/0000-0002-0970-3226  Author page on DBLP  Author page in RDF  Community of A. Agung Julius in ASPL-2

Publication years (Num. hits)
2003-2009 (18) 2010-2012 (19) 2013-2015 (19) 2016-2018 (18) 2019 (7)
Publication types (Num. hits)
article(27) inproceedings(54)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

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