State construction and systems equivalence

AA Julius , AJ van der Schaft

Compositional modeling of hybrid systems with hybrid behavioral automata

AA Julius , SN Strubbe , AJ van der Schaft
Submitted to the HSCC 2002

5
2003
Verification of Temporal Properties of Hybrid Automata by Abstraction

A D’Innocenzo , AA Julius , GJ Pappas , MD Di Benedetto

Real-time feedback control using artificial magnetotaxis with rapidly-exploring random tree (RRT) for Tetrahymena pyriformis as a microbiorobot

Dal Hyung Kim , Sean Brigandi , Anak Agung Julius , Min Jun Kim
Robotics and Automation (ICRA), 2011 IEEE International Conference on 3183 -3188

28
2011
A case study of mobile robot’s energy consumption and conservation techniques

Emad S Hassan , Emad S Hassan , Emad S Hassan , Emad S Hassan
Worth Publishers 47 ( 10) 1 -10

2018
From discrete to continuous and back: Abstractions and mesoscopic phenomena in cells

Ádám M Halász , Julius A Agung , George Pappas , Vijay Kumar
international workshop on discrete event systems 269 -274

1
2008
Approximate abstraction of stochastic hybrid automata

A. Agung Julius
Lecture Notes in Computer Science 318 -332

2006
Tracking Tetrahymena pyriformis cells using decision trees

Kim L. Boyer , Min Jun Kim , A. Agung Julius , Yan Ou
international conference on pattern recognition 1843 -1847

5
2012
Automatic sleeping time estimation and mild traumatic brain injury (mTBI) detection using actigraphy data

George C. Brainard , Benjamin Warfield , John T. Wen , John P. Hanifin
Biomedical Signal Processing and Control 66 102430

2021
Motion control of Tetrahymena pyriformis cells with artificial magnetotaxis: Model Predictive Control (MPC) approach

Yan Ou , Dal Hyung Kim , Paul Kim , Min Jun Kim
international conference on robotics and automation 2492 -2497

12
2012
Transcriptional control of motility enables directional movement of Escherichia coli in a signal gradient.

Jayamary Divya Ravichandar , Adam G. Bower , A. Agung Julius , Cynthia H. Collins
Scientific Reports 7 ( 1) 8959 -8959

15
2017
Approximate Simulation Relations for Hybrid Systems

Antoine Girard , A. Agung Julius , George J. Pappas
Discrete Event Dynamic Systems 18 ( 2) 163 -179

88
2008
Trajectory Based Verification Using Local Finite-Time Invariance

A. Agung Julius , George J. Pappas
international conference on hybrid systems computation and control 223 -236

29
2009
Modeling, control and experimental characterization of microbiorobots

Mahmut Selman Sakar , Edward B Steager , Dal Hyung Kim , A. Agung Julius
The International Journal of Robotics Research 30 ( 6) 647 -658

78
2011
Parametrization of the Regular Equivalences of the Canonical Controller

A. Agung Julius , Jan Willem Polderman , Arjan van der Schaft
IEEE Transactions on Automatic Control 53 ( 4) 1032 -1036

9
2008
APPROXIMATE SIMULATION RELATIONS FOR HYBRID SYSTEMS

Antoine Girard , A. Agung Julius , George J. Pappas
IFAC Proceedings Volumes 39 ( 5) 106 -111

18
2006