Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots
Xu, Zhe, Saha, Sayan, Hu, Botao, Mishra, Sandipan, Julius, A. Agung
Published in IEEE transactions on automation science and engineering (01.01.2019)
Published in IEEE transactions on automation science and engineering (01.01.2019)
Get full text
Journal Article
Fast tuning of observer-based circadian phase estimator using biometric data
Ike, Chukwuemeka O., Wen, John T., Oishi, Meeko M.K., Brown, Lee K., Agung Julius, A.
Published in Heliyon (01.12.2022)
Published in Heliyon (01.12.2022)
Get full text
Journal Article
Traffic Flow Control in Vehicular Multi-Hop Networks With Data Caching and Infrastructure Support
Liu, Teng, Abouzeid, Alhussein A., Julius, A. Agung
Published in IEEE/ACM transactions on networking (01.02.2020)
Published in IEEE/ACM transactions on networking (01.02.2020)
Get full text
Journal Article
Graph Temporal Logic Inference for Classification and Identification
Xu, Zhe, Nettekoven, Alexander J, Agung Julius, A., Topcu, Ufuk
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)
Published in 2019 IEEE 58th Conference on Decision and Control (CDC) (01.12.2019)
Get full text
Conference Proceeding
Approximate Simulation Relations for Hybrid Systems
Girard, Antoine, Julius, A. Agung, Pappas, George J.
Published in Discrete event dynamic systems (01.06.2008)
Published in Discrete event dynamic systems (01.06.2008)
Get full text
Journal Article
Approximate Abstraction of Stochastic Hybrid Automata
Get full text
Book Chapter
Conference Proceeding
Approximate equivalence and synchronization of metric transition systems
Julius, A. Agung, D’Innocenzo, Alessandro, Di Benedetto, Maria Domenica, Pappas, George J.
Published in Systems & control letters (01.02.2009)
Published in Systems & control letters (01.02.2009)
Get full text
Journal Article
Census Signal Temporal Logic Inference for Multiagent Group Behavior Analysis
Xu, Zhe, Julius, A. Agung
Published in IEEE transactions on automation science and engineering (01.01.2018)
Published in IEEE transactions on automation science and engineering (01.01.2018)
Get full text
Journal Article
Parametrization of the Regular Equivalences of the Canonical Controller
Julius, A.A., Polderman, J.W., van der Schaft, A.
Published in IEEE transactions on automatic control (01.05.2008)
Published in IEEE transactions on automatic control (01.05.2008)
Get full text
Journal Article
Biosensing and actuation for microbiorobots
Sakar, M Selman, Steager, Edward B, Julius, A Agung, MinJun Kim, Kumar, Vijay, Pappas, George J
Published in 2010 IEEE International Conference on Robotics and Automation (01.05.2010)
Published in 2010 IEEE International Conference on Robotics and Automation (01.05.2010)
Get full text
Conference Proceeding