![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
A. Agung Julius
Person information
- affiliation: Rensselaer Polytechnic Institute, Light Enabled Systems and Application, Troy, NY, USA
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j31]Zidi Tao
, Agung Julius
, John T. Wen
:
Time-Optimal Circadian Rhythm Entrainment Is Not Robust. IEEE Control. Syst. Lett. 8: 952-957 (2024) - [i16]Neelanga Thelasingha, Agung Julius, James Humann, Jean-Paul Reddinger, James Dotterweich, Marshal Childers:
Iterative Planning for Multi-agent Systems: An Application in Energy-Aware UAV-UGV Cooperative Task Site Assignments. CoRR abs/2401.08846 (2024) - [i15]Honglu He, Chen-lung Lu, Glenn Saunders, Pinghai Yang, Jeffrey Schoonover, John D. Wason, Santiago Paternain, Agung Julius, John T. Wen:
Fast and Accurate Relative Motion Tracking for Two Industrial Robots. CoRR abs/2404.06687 (2024) - [i14]Rene Mai, Katherine Sears, Grace Roessling, Agung Julius, Sandipan Mishra:
Generalized two-point visual control model of human steering for accurate state estimation. CoRR abs/2406.03622 (2024) - 2023
- [c83]Yunshi Wen, Honglu He, Agung Julius, John T. Wen:
Motion Profile Optimization in Industrial Robots using Reinforcement Learning. AIM 2023: 1309-1316 - [c82]Rene Mai, Sandipan Mishra, Agung Julius:
Human-as-advisor in the loop for autonomous lane-keeping. ACC 2023: 3895-3900 - [c81]A. Agung Julius, Yunshi Wen, Ruixuan Yan:
Optimal Control of Discrete-Time Multivariate Point Processes with Finite-Time Steady State. CDC 2023: 8545-8552 - [c80]Chukwuemeka O. Ike, John T. Wen, Meeko M. K. Oishi, Lee K. Brown, A. Agung Julius:
Efficient Estimation of the Human Circadian Phase via Kalman Filtering. EMBC 2023: 1-6 - [c79]Zidi Tao, Agung Julius, John T. Wen:
Robustness of Optimal Circadian Rhythm Entrainment under Model Perturbation. EMBC 2023: 1-4 - [c78]Ruixuan Yan, Yunshi Wen, Debarun Bhattacharjya, Ronny Luss, Tengfei Ma, Achille Fokoue, Anak Agung Julius:
Weighted Clock Logic Point Process. ICLR 2023 - [c77]Honglu He, Chen-lung Lu, Yunshi Wen, Glenn Saunders, Pinghai Yang, Jeffrey Schoonover, John D. Wason, Agung Julius, John T. Wen:
High-Speed High-Accuracy Spatial Curve Tracking Using Motion Primitives in Industrial Robots. ICRA 2023: 12289-12295 - [i13]Honglu He, Chen-lung Lu, Yunshi Wen, Glenn Saunders, Pinghai Yang, Jeffrey Schoonover, Agung Julius, John T. Wen:
High-Speed High-Accuracy Spatial Curve Tracking Using Motion Primitives in Industrial Robots. CoRR abs/2301.02348 (2023) - 2022
- [j30]Ruixuan Yan
, A. Agung Julius:
Interpretable seizure detection with signal temporal logic neural network. Biomed. Signal Process. Control. 78: 103998 (2022) - [j29]Nasim Baharisangari
, Kazuma Hirota
, Ruixuan Yan
, Agung Julius
, Zhe Xu
:
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. IEEE Control. Syst. Lett. 6: 2096-2101 (2022) - [j28]Neelanga Thelasingha
, A. Agung Julius, Min Jun Kim
:
Ensemble control of spatial variance of microbot systems through sequencing of motion primitives from optimal control trajectories. Intell. Serv. Robotics 15(2): 215-230 (2022) - [j27]Ruixuan Yan
, Agung Julius
:
Distributed Consensus-Based Online Monitoring of Robot Swarms With Temporal Logic Specifications. IEEE Robotics Autom. Lett. 7(4): 9413-9420 (2022) - [c76]Ruixuan Yan, Tengfei Ma, Achille Fokoue, Maria Chang, Agung Julius:
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description. ICDM 2022: 618-627 - [i12]Ruixuan Yan, Tengfei Ma, Achille Fokoue, Maria Chang, Agung Julius:
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description. CoRR abs/2209.09114 (2022) - 2021
- [j26]Jiawei Yin
, A. Agung Julius, John T. Wen
, John P. Hanifin, Benjamin Warfield, George C. Brainard:
Automatic sleeping time estimation and mild traumatic brain injury (mTBI) detection using actigraphy data. Biomed. Signal Process. Control. 66: 102430 (2021) - [j25]Ruixuan Yan
, Agung Julius
:
A Decentralized B&B Algorithm for Motion Planning of Robot Swarms With Temporal Logic Specifications. IEEE Robotics Autom. Lett. 6(4): 7389-7396 (2021) - [c75]Ruixuan Yan, Agung Julius, Maria Chang, Achille Fokoue, Tengfei Ma
, Rosario Uceda-Sosa:
STONE: Signal Temporal Logic Neural Network for Time Series Classification. ICDM (Workshops) 2021: 778-787 - [i11]Ruixuan Yan, Agung Julius:
Neural Network for Weighted Signal Temporal Logic. CoRR abs/2104.05435 (2021) - [i10]Nasim Baharisangari, Kazuma Hirota, Ruixuan Yan, Agung Julius, Zhe Xu:
Weighted Graph-Based Signal Temporal Logic Inference Using Neural Networks. CoRR abs/2109.08078 (2021) - 2020
- [j24]Teng Liu
, Alhussein A. Abouzeid
, A. Agung Julius
:
Traffic Flow Control in Vehicular Multi-Hop Networks with Data Caching. IEEE Trans. Mob. Comput. 19(1): 231-244 (2020) - [j23]Teng Liu
, Alhussein A. Abouzeid
, A. Agung Julius
:
Traffic Flow Control in Vehicular Multi-Hop Networks With Data Caching and Infrastructure Support. IEEE/ACM Trans. Netw. 28(1): 376-386 (2020) - [i9]Zhe Xu
, Yi Deng, Agung Julius:
Temporal Logic Inference for Hybrid System Observation with Spatial and Temporal Uncertainties. CoRR abs/2004.02018 (2020) - [i8]Ruixuan Yan, Agung Julius:
Distributed Monitoring of Robot Swarms with Swarm Signal Temporal Logic. CoRR abs/2004.12473 (2020)
2010 – 2019
- 2019
- [j22]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 Process. Control. 54 (2019) - [j21]Ruixuan Yan
, Zhe Xu
, Agung Julius
:
Swarm Signal Temporal Logic Inference for Swarm Behavior Analysis. IEEE Robotics Autom. Lett. 4(3): 3021-3028 (2019) - [j20]Zhe Xu
, Agung Julius, Joe H. Chow
:
Energy Storage Controller Synthesis for Power Systems With Temporal Logic Specifications. IEEE Syst. J. 13(1): 748-759 (2019) - [j19]Zhe Xu
, A. Agung Julius:
Robust Temporal Logic Inference for Provably Correct Fault Detection and Privacy Preservation of Switched Systems. IEEE Syst. J. 13(3): 3010-3021 (2019) - [j18]Zhe Xu
, Sayan Saha
, Botao Hu
, Sandipan Mishra
, A. Agung Julius
:
Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots. IEEE Trans Autom. Sci. Eng. 16(1): 459-477 (2019) - [c74]Zhe Xu
, Melkior Ornik, A. Agung Julius, Ufuk Topcu
:
Information-Guided Temporal Logic Inference with Prior Knowledge. ACC 2019: 1891-1897 - [c73]Jiawei Yin, Agung Julius, John T. Wen
:
Rapid Circadian Entrainment in Models of Circadian Genes Regulation. CDC 2019: 1899-1906 - [c72]Zhe Xu
, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu
:
Graph Temporal Logic Inference for Classification and Identification. CDC 2019: 4761-4768 - [i7]Zhe Xu
, Alexander J. Nettekoven, A. Agung Julius, Ufuk Topcu:
Graph Temporal Logic Inference for Classification and Identification. CoRR abs/1903.09714 (2019) - [i6]Zhe Xu
, Agung Julius, Ufuk Topcu, Joe H. Chow:
Controller Synthesis of Wind Turbine Generator and Energy Storage System with Stochastic Wind Variations under Temporal Logic Specifications. CoRR abs/1911.11347 (2019) - 2018
- [j17]Sayan Saha
, Anak Agung Julius
:
Task and Motion Planning for Manipulator Arms With Metric Temporal Logic Specifications. IEEE Robotics Autom. Lett. 3(1): 379-386 (2018) - [j16]Zhe Xu
, A. Agung Julius, Joe H. Chow
:
Robust Testing of Cascading Failure Mitigations Based on Power Dispatch and Quick-Start Storage. IEEE Syst. J. 12(4): 3063-3074 (2018) - [j15]Zhe Xu
, A. Agung Julius:
Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis. IEEE Trans Autom. Sci. Eng. 15(1): 264-277 (2018) - [c71]Zhe Xu, Yi Deng, Agung Julius:
Robust Temporal Logic Inference for Hybrid System Observation- An Application on Occupancy Detection of Smart Buildings. ACC 2018: 610-615 - [c70]Zhe Xu
, Agung Julius, Joe H. Chow:
Coordinated Control of Wind Turbine Generator and Energy Storage System for Frequency Regulation under Temporal Logic Specifications. ACC 2018: 1580-1585 - [i5]Wei Qiao, Kyle Altman, Agung Julius, Bernard Possidente, John T. Wen:
Continuous Circadian Phase Estimation Using Adaptive Notch Filter. CoRR abs/1804.00115 (2018) - [i4]Zhe Xu
, Melkior Ornik, A. Agung Julius, Ufuk Topcu:
Information-Guided Temporal Logic Inference with Prior Knowledge. CoRR abs/1811.08846 (2018) - 2017
- [j14]Wei Qiao, John T. Wen
, Agung Julius:
Entrainment Control of Phase Dynamics. IEEE Trans. Autom. Control. 62(1): 445-450 (2017) - [c69]Zhe Xu
, Agung Julius, Joe H. Chow:
Optimal energy storage control for frequency regulation under temporal logic specifications. ACC 2017: 1874-1879 - [c68]Teng Liu, Alhussein A. Abouzeid
, A. Agung Julius:
Traffic flow control in vehicular communication networks. ACC 2017: 5513-5518 - [c67]Agung Julius, Jiawei Yin, John T. Wen
:
Time-optimal control for circadian entrainment for a model with circadian and sleep dynamics. CDC 2017: 4709-4714 - [c66]Zhe Xu
, Sayan Saha, Agung Julius:
Provably correct design of observations for fault detection with privacy preservation. CDC 2017: 5620-5625 - [c65]Teng Liu, Alhussein A. Abouzeid
, A. Agung Julius:
Infrastructure Bandwidth Allocation for Social Welfare Maximization in Future Connected Autonomous Vehicular Networks. CarSys@MobiCom 2017: 49-56 - 2016
- [j13]Jiaxiang Zhang, Wei Qiao, John T. Wen
, Agung Julius:
Light-based circadian rhythm control: Entrainment and optimization. Autom. 68: 44-55 (2016) - [j12]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. Autom. Control. 61(4): 982-993 (2016) - [c64]Sayan Saha, A. Agung Julius:
An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications. ACC 2016: 1105-1110 - [i3]Sayan Saha, A. Agung Julius:
An MILP Approach for Real-time Optimal Controller Synthesis with Metric Temporal Logic Specifications. CoRR abs/1603.02650 (2016) - [i2]Zhe Xu
, Agung Julius:
Census Signal Temporal Logic Inference for Multi-Agent Group Behavior Analysis. CoRR abs/1610.05612 (2016) - 2015
- [j11]Andrew K. Winn, A. Agung Julius:
Safety Controller Synthesis Using Human Generated Trajectories. IEEE Trans. Autom. Control. 60(6): 1597-1610 (2015) - [c63]Zhe Xu
, Calin Belta, Agung Julius:
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements. ADHS 2015: 141-146 - [c62]Yi Deng, Alessandro D'Innocenzo
, A. Agung Julius:
Trajectory-based observer for hybrid automata fault diagnosis. CDC 2015: 942-947 - [c61]Yi Deng, A. Agung Julius, Alessandro D'Innocenzo:
Probabilistic diagnosability of hybrid systems. HSCC 2015: 88-97 - [c60]Yan Ou, Peter Kang, Min Jun Kim
, A. Agung Julius:
Algorithms for simultaneous motion control of multiple T. pyriformis cells: Model predictive control and Particle Swarm Optimization. ICRA 2015: 3507-3512 - [c59]Hoyeon Kim, U. Kei Cheang
, A. Agung Julius, Min Jun Kim
:
Dynamic obstacle avoidance for bacteria-powered microrobots. IROS 2015: 2000-2005 - 2014
- [c58]A. Agung Julius, Alessandro D'Innocenzo
:
Combining analytical technique and randomized algorithm in safety verification of stochastic hybrid systems. ACC 2014: 1438-1443 - [c57]Houssam Abbas, Andrew K. Winn, Georgios Fainekos
, A. Agung Julius:
Functional gradient descent method for Metric Temporal Logic specifications. ACC 2014: 2312-2317 - [c56]Sayan Saha, A. Agung Julius:
Trajectory-based formal controller synthesis for multi-link robots with elastic joints. CDC 2014: 830-835 - [c55]Yi Deng, A. Agung Julius:
Safe Neighborhood Computation for Hybrid System Verification. HAS 2014: 1-12 - 2013
- [j10]Yan Ou, Dal Hyung Kim
, Paul Seung Soo Kim, Min Jun Kim
, A. Agung Julius:
Motion control of magnetized Tetrahymena pyriformis cells by a magnetic field with Model Predictive Control. Int. J. Robotics Res. 32(1): 129-139 (2013) - [c54]Jiaxiang Zhang, John T. Wen, Agung Julius:
Adaptive circadian argument estimator and its application to circadian argument control. ACC 2013: 2295-2300 - [c53]Andrew K. Winn, A. Agung Julius:
Optimization of human generated trajectories for safety controller synthesis. ACC 2013: 4374-4379 - [c52]Guilhem Richard, A. Agung Julius, Calin Belta:
Optimizing regulation functions in gene network identification. CDC 2013: 745-750 - [c51]Jiaxiang Zhang, John T. Wen
, Agung Julius:
Optimal and feedback control for light-based circadian entrainment. CDC 2013: 2677-2682 - [c50]Andrew K. Winn, A. Agung Julius:
Feedback control law generation for safety controller synthesis. CDC 2013: 3912-3917 - [c49]Aaron T. Becker
, Yan Ou, Paul Seung Soo Kim, Min Jun Kim
, A. Agung Julius:
Feedback control of many magnetized: Tetrahymena pyriformis cells by exploiting phase inhomogeneity. IROS 2013: 3317-3323 - [c48]Yi Deng, Akshay Rajhans, A. Agung Julius:
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. QEST 2013: 165-168 - [c47]Paul Seung Soo Kim, Aaron T. Becker
, Yan Ou, Anak Agung Julius, Min Jun Kim
:
Swarm control of cell-based microrobots using a single global magnetic field. URAI 2013: 21-26 - 2012
- [c46]A. Agung Julius, Andrew K. Winn:
Safety controller synthesis using human generated trajectories: Nonlinear dynamics with feedback linearization and differential flatness. ACC 2012: 709-714 - [c45]Sina Afshari, Sandipan Mishra, Agung Julius, Fernando C. Lizarralde
, John T. Wen
:
Modeling and feedback control of color-tunable LED lighting systems. ACC 2012: 3663-3668 - [c44]Jiaxiang Zhang, John T. Wen
, Agung Julius:
Optimal circadian rhythm control with light input for rapid entrainment and improved vigilance. CDC 2012: 3007-3012 - [c43]Andrew K. Winn, Xuemei Gao, Sandipan Mishra, A. Agung Julius:
Learning potential functions by demonstration for path planning. CDC 2012: 4654-4659 - [c42]Quan Wang, Yan Ou, A. Agung Julius, Kim L. Boyer, Min Jun Kim:
Tracking Tetrahymena pyriformis cells using decision trees. ICPR 2012: 1843-1847 - [c41]Dal Hyung Kim
, Paul Seung Soo Kim, A. Agung Julius, Min Jun Kim
:
Three-dimensional control of engineered motile cellular microrobots. ICRA 2012: 721-726 - [c40]Yan Ou, Dal Hyung Kim
, Paul Seung Soo Kim, Min Jun Kim
, A. Agung Julius:
Motion control of Tetrahymena pyriformis cells with artificial magnetotaxis: Model Predictive Control (MPC) approach. ICRA 2012: 2492-2497 - [i1]Quan Wang, Yan Ou, A. Agung Julius, Kim L. Boyer, Min Jun Kim:
Tracking Tetrahymena Pyriformis Cells using Decision Trees. CoRR abs/1207.3127 (2012) - 2011
- [j9]Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas
:
Inferring stable genetic networks from steady-state data. Autom. 47(6): 1113-1122 (2011) - [j8]Mahmut Selman Sakar
, Edward B. Steager, Dal Hyung Kim
, A. Agung Julius, MinJun Kim
, Vijay Kumar, George J. Pappas
:
Modeling, control and experimental characterization of microbiorobots. Int. J. Robotics Res. 30(6): 647-658 (2011) - [c39]Michael M. Zavlanos, A. Agung Julius:
Robust flux balance analysis of metabolic networks. ACC 2011: 2915-2920 - [c38]Jiaxiang Zhang, John T. Wen, Agung Julius:
Modeling of drosophila circadian system based on locomotor activity. ACC 2011: 3496-3501 - [c37]Nicholas Cooper, A. Agung Julius:
Bacterial persistence: Mathematical modeling and optimal treatment strategy. ACC 2011: 3502-3507 - [c36]Nicholas Cooper, Calin Belta, A. Agung Julius:
Genetic regulatory network identification using multivariate monotone functions. CDC/ECC 2011: 2208-2213 - [c35]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/ECC 2011: 2227-2232 - [c34]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: 2430-2433 - [c33]Dal Hyung Kim
, Sean Brigandi, A. Agung Julius, Min Jun Kim
:
Real-time feedback control using artificial magnetotaxis with rapidly-exploring random tree (RRT) for Tetrahymena pyriformis as a microbiorobot. ICRA 2011: 3183-3188 - 2010
- [c32]A. Agung Julius, Shayla M. Sawyer:
Control systems challenges in energy efficient portable UV based water sterilizer. ACC 2010: 3617-3622 - [c31]Tiejun Zhang
, John T. Wen, Agung Julius, He Bai, Yoav Peles, Michael K. Jensen:
Parallel-channel flow instabilities and active control schemes in two-phase microchannel heat exchanger systems. ACC 2010: 3753-3758 - [c30]A. Agung Julius:
Trajectory-based controller design for hybrid systems with affine continuous dynamics. CASE 2010: 1007-1012 - [c29]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: 1899-1904 - [c28]A. Agung Julius, Sina Afshari:
Using computer games for hybrid systems controller synthesis. CDC 2010: 5887-5892 - [c27]Jiaxiang Zhang, Andrew Bierman, John T. Wen
, Agung Julius, Mariana Figueiro:
Circadian system modeling and phase control. CDC 2010: 6058-6063 - [c26]Mahmut Selman Sakar, Edward B. Steager, A. Agung Julius, MinJun Kim
, Vijay Kumar, George J. Pappas
:
Biosensing and actuation for microbiorobots. ICRA 2010: 3141-3146
2000 – 2009
- 2009
- [j7]A. Agung Julius, Alessandro D'Innocenzo
, Maria Domenica Di Benedetto
, George J. Pappas
:
Approximate equivalence and synchronization of metric transition systems. Syst. Control. Lett. 58(2): 94-101 (2009) - [j6]A. Agung Julius, George J. Pappas
:
Approximations of Stochastic Hybrid Systems. IEEE Trans. Autom. Control. 54(6): 1193-1203 (2009) - [c25]A. Agung Julius, George J. Pappas
:
Trajectory Based Verification Using Local Finite-Time Invariance. HSCC 2009: 223-236 - [c24]A. Agung Julius, Mahmut Selman Sakar, Edward B. Steager, U. Kei Cheang
, MinJun Kim
, Vijay Kumar, George J. Pappas
:
Harnessing bacterial power in microscale actuation. ICRA 2009: 1004-1009 - 2008
- [j5]Antoine Girard
, A. Agung Julius, George J. Pappas
:
Approximate Simulation Relations for Hybrid Systems. Discret. Event Dyn. Syst. 18(2): 163-179 (2008) - [j4]Paulo Tabuada
, Aaron D. Ames
, A. Agung Julius, George J. Pappas
:
Approximate reduction of dynamic systems. Syst. Control. Lett. 57(7): 538-545 (2008) - [j3]A. Agung Julius, Ádám M. Halász, Mahmut Selman Sakar
, Harvey Rubin, Vijay Kumar, George J. Pappas
:
Stochastic Modeling and Control of Biological Systems: The Lactose Regulation System of Escherichia Coli. IEEE Trans. Autom. Control. 53: 51-65 (2008) - [j2]Anak Agung Julius, Jan Willem Polderman, Arjan van der Schaft
:
Parametrization of the Regular Equivalences of the Canonical Controller. IEEE Trans. Autom. Control. 53(4): 1032-1036 (2008) - [c23]Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas
:
Identification of stable genetic networks using convex programming. ACC 2008: 2755-2760 - [c22]A. Agung Julius, Marcin Imielinski, George J. Pappas
:
Metabolic networks analysis using convex optimization. CDC 2008: 762-767 - [c21]A. Agung Julius, George J. Pappas
:
Probabilistic testing for stochastic hybrid systems. CDC 2008: 4030-4035 - 2007
- [c20]A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas
:
Controlling biological systems: the lactose regulation system of Escherichia coli. ACC 2007: 1305-1310 - [c19]A. Agung Julius, Mahmut Selman Sakar, Alberto Bemporad, George J. Pappas
:
Hybrid model predictive control of induction of Escherichia coli. CDC 2007: 3913-3918 - [c18]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: 4039-4044 - [c17]Alessandro D'Innocenzo
, A. Agung Julius, Maria Domenica Di Benedetto
, George J. Pappas
:
Approximate timed abstractions of hybrid automata. CDC 2007: 4045-4050 - [c16]A. Agung Julius, Georgios E. Fainekos
, Madhukar Anand, Insup Lee, George J. Pappas
:
Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342 - 2006
- [c15]Antoine Girard, A. Agung Julius, George J. Pappas:
Approximate simulation Relations for Hybrid Systems. ADHS 2006: 106-111 - [c14]A. Agung Julius, Antoine Girard, George J. Pappas:
Approximate bisimulation for a class of stochastic hybrid systems. ACC 2006: 1-6 - [c13]Stefan Strubbe, Arjan van der Schaft, Agung Julius:
Value passing for communicating piecewise deterministic Markov processes. ACC 2006: 1-6 - [c12]A. Agung Julius, Ádám M. Halász, Vijay Kumar, George J. Pappas
:
Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli. CDC 2006: 19-24 - [c11]A. Agung Julius, George J. Pappas
:
Approximate equivalence and approximate synchronization of metric transition systems. CDC 2006: 905-910 - [c10]Paulo Tabuada
, Aaron D. Ames, Agung Julius, George J. Pappas
:
Approximate Reduction of Dynamical Systems. CDC 2006: 6408-6413 - [c9]A. Agung Julius:
Approximate Abstraction of Stochastic Hybrid Automata. HSCC 2006: 318-332 - 2005
- [j1]A. Agung Julius, Jan C. Willems, Madhu N. Belur, Harry L. Trentelman:
The canonical controllers and regular interconnection. Syst. Control. Lett. 54(8): 787-797 (2005) - [c8]A. Agung Julius, Madhu N. Belur:
Behavioral control in the presence of disturbances. CDC/ECC 2005: 155-160 - [c7]A. Agung Julius, A. J. van der Schaft:
Bisimulation as congruence in the behavioral setting. CDC/ECC 2005: 814-819 - 2003
- [c6]A. Agung Julius, Stefan Strubbe, A. J. van der Schaft:
Control of Hybrid Behavioral Automata by Interconnection. ADHS 2003: 105-110 - [c5]Stefan Strubbe, A. Agung Julius, A. J. van der Schaft:
Communicating Piecewise Deterministic Markov Processes. ADHS 2003: 307-312 - [c4]Jan C. Willems, A. Agung Julius, Madhu N. Belur, Harry L. Trentelman:
The canonical controller and its regularity. CDC 2003: 1639-1644 - [c3]A. Agung Julius, A. J. van der Schaft:
Compatibility of behavior interconnections. ECC 2003: 2607-2612 - 2002
- [c2]A. J. van der Schaft, A. Agung Julius:
Achievable behavior by composition. CDC 2002: 7-12 - [c1]A. Agung Julius, A. J. van der Schaft:
The maximal controlled invariant set of switched linear systems. CDC 2002: 3174-3179
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-25 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint