Homepage of Agung Julius

Thesis

Evolution of the modal densities of a class of stochastic hybrid systems, MSc thesis.

On interconnection and equivalence of continuous and discrete systems: a behavioral perspective, PhD thesis.

Journal publication and book chapters

1. A.A. Julius, J.C. Willems, M.N. Belur, H.L. Trentelman, "The canonical controllers and regular interconnection", Systems and Control Letters, 8(54), pp. 787-797, August 2005.

2. A.A. Julius, "Approximate abstraction of stochastic hybrid automata", in Hybrid Systems: Computation and Control, LNCS Volume 3927, pp. 318-332, Springer Verlag, 2006.

3. A.A. Julius, G.J. Pappas, "Approximate abstraction of stochastic hybrid systems", provisionally accepted to the IEEE Trans. Automatic Control, 2006.

4. A.A. Julius, G.J. Pappas, "Approximate equivalence and synchronization of metric transition systems", submitted to the Systems and Control Letters, 2006.

5. A.A. Julius, G. Fainekos, M. Anand, I. Lee, G.J. Pappas, Robust test generation and coverage for hybrid systems, in Hybrid Systems: Computation and Control, LNCS Volume 4416, pp. 329-342, Springer Verlag, 2007.

6. A. Girard, A.A. Julius, G.J. Pappas, "Approximate simulation relations for hybrid systems", Int. J. Discrete Event Dynamic Systems, 18(2), pp 163-179, 2008.

7. A.A. Julius, J.W. Polderman, A.J. van der Schaft. "Parametrization of the regular equivalences of the canonical controller", IEEE Trans. Automatic Control, 53(4), pp. 1032-1036, May 2008.

8. A.A. Julius, A. Halasz, M.S. Sakar, H. Rubin, V. Kumar, G.J. Pappas, Controlling biological systems: the lactose regulation system of Escherichia coli, IEEE Trans. Automatic Control, 53(1), pp. 51-65, joint special issue with IEEE Trans. Circuit and Systems, 2008.

9. P. Tabuada, A. Ames, A.A. Julius, G.J. Pappas, "Approximate Reduction of Dynamical Systems", Systems and Control Letters, 7(57), pp. 538-545, July 2008.(arXiv)

10. A.A. Julius, M. Zavlanos, S. Boyd, G.J. Pappas, "Genetic network identification using convex programming", under revision, 2008.

Technical report

1. A.A. Julius, O. Kaiser, S. Pietrzko, M. Morari, Modeling, optimisation, and analysis of noise transmission through a double panes system, Technical report AUT00-17, Automatic Control Lab, Dept. Electrical Engineering, ETH Zurich, 2000.

2. A.A. Julius, M. Zavlanos, S. Boyd, G.J. Pappas, "Genetic network identification using convex programming", Technical Report MS-CIS-07-20, Dept. Computer and Information Sciences, University of Pennsylvania, 2007.

Conference posters and abstracts

1. A.A. Julius, A. Halasz, V. Kumar, G.J. Pappas, "A finite model for the random behavior in the lactose regulation system of Escherichia coli, at the 7th International Conference on Systems Biology, Yokohama, Japan, 2006.

2. A.A. Julius, M. Zavlanos, S. Boyd, G.J. Pappas, "Genetic network identification using convex programming", at the 8th International Conference on Systems Biology, Long Beach, USA, 2007.

3. M.S. Sakar, E. Steager, A.A. Julius, V. Kumar, M.J. Kim, G.J. Pappas, "Microfabricated structures powered by flagellated bacteria", at the 8th International Conference on Systems Biology, Long Beach, USA, 2007.

Conference proceedings (from the most recent)

24. A. A. Julius, Marcin Imielinski  and G. J. Pappas, "Metabolic networks analysis using convex optimization", to appear in the Proc. 46th IEEE Conf. Decision and Control 2008, Cancun, Mexico.

23. A. A. Julius and G. J. Pappas, "Probabilistic testing for stochastic hybrid systems", to appear in the Proc. 46th IEEE Conf. Decision and Control 2008, Cancun, Mexico.

22. M. M. Zavlanos, A. A. Julius, S. P. Boyd and G. J. Pappas, "Identification of Stable Genetic Networks using Convex Programming", in the Proc. American Control Conference 2008, Seattle, USA..

21. A. D'Innocenzo, A.A. Julius, G.J. Pappas, M.D. Di Benedetto, S. Di Gennaro, "Verification of temporal properties on hybrid automata by simulation relations", in the Proc. 45th IEEE Conf. Decision and Control 2007, New Orleans, USA.

20. A. D'Innocenzo, A.A. Julius, M.D. Di Benedetto, G.J. Pappas, "Approximate timed abstractions of hybrid automata", in the Proc. 45th IEEE Conf. Decision and Control 2007, New Orleans, USA.

19. A.A. Julius, M.S. Sakar, A. Bemporad, G.J. Pappas, "Hybrid model predictive control of induction of Escherichia coli", in the Proc. 45th IEEE Conf. Decision and Control 2007, New Orleans, USA.

18. A.A. Julius, A. Halasz, V. Kumar, G.J. Pappas, "Controlling biological systems: the lactose regulation system of Escherichia coli", in the Proc. American Control Conference 2007, New York, USA.

17. A. Girard, A.A. Julius,  G.J. Pappas, "Approximate simulation relations for hybrid systems", in Proc. IFAC Conf. Analysis and Design of Hybrid Systems 2006, Alghero, Sardinia, Italy.

16. A.A. Julius, A. Halasz, V. Kumar, G.J. Pappas, "Finite state abstraction of a stochastic model of the lactose regulation system of Escherichia coli", in the Proc. 45th IEEE Conf. Decision and Control 2006, San Diego, USA.

15. A.A. Julius, G.J. Pappas, "Approximate equivalence and approximate synchronization of metric transition systems", to appear in the Proc. 45th IEEE Conf. Decision and Control 2006, San Diego, USA.

14. P. Tabuada, A. Ames, A.A. Julius, G.J. Pappas, "Approximate Reduction of Dynamical Systems", to appear in the Proc. 45th IEEE Conf. Decision and Control 2006, San Diego, USA.

13. A.A. Julius, A. Girard, G.J. Pappas, "Approximate bisimulation for a class of stochastic hybrid systems", in the Proc. American Control Conference 2006, Minneapolis, USA.

12. A.A. Julius,  M.N. Belur, "Behavioral control in the presence of disturbances", in the Proc. 44th IEEE Conf. Decision and Control 2005, Seville, Spain.

11. A.A. Julius,  A.J. van  der Schaft,  "Bisimulation as congruence in the behavioral setting",  in the Proc. 44th IEEE Conf. Decision and Control 2005, Seville, Spain.

10. A.A. Julius, J.W. Polderman, A.J. van der Schaft, "Controller with minimal interaction", in the Proc. IFAC World Congress 2005, Prague.

9. A.A.Julius, A.J. van der Schaft, "State maps of general behaviors, their lattice structure and bisimulations", in the Proc. of the MTNS 2004, Leuven, Belgium.

8. A.A.Julius, A.J. van der Schaft, "A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems",  in the Proc. of the MTNS 2004, Leuven, Belgium.

7. J.C. Willems, M.N. Belur, A.A. Julius, H.L. Trentelman, "The canonical controller and its regularity", in Proc. 42nd IEEE Conf. Decision and Control 2003, pp 1639-1644, Hawaii.

6. A.A.Julius, A.J. van der Schaft, "Compatibility of behavioral interconnections", in the Proc. European Control Conf. 2003, Cambridge, UK.

5. S.N.Strubbe, A.A. Julius, A.J. van der Schaft, "Communicating Piecewise Deterministic Markov Processes", in Proc. IFAC Conf. Analysis and Design of Hybrid Systems 2003, pp 349-354, St. Malo, France.

4. A.A. Julius, S.N.Strubbe, A.J. van der Schaft, "Control of hybrid behavioral automata by interconnection", in Proc. IFAC Conf. Analysis and Design of Hybrid Systems 2003, pp 135-140, St. Malo, France.

3. A.J. van der Schaft, A.A. Julius, "Achievable behavior by composition", in Proc. 41st IEEE Conf. Decision and Control 2002, Las Vegas, pp 7-12.

2. A.A. Julius, A.J. van der Schaft, "The maximal controlled invariant sets of switched linear systems", in Proc. 41st IEEE Conf. Decision and Control 2002, Las Vegas, pp 3174-3179.

1. O.E. Kaiser, A.A. Julius, S. Pietrzko, M. Morari, "Uncontrollable modes in double wall panels", in Proc. 17th Int. Congress on Acoustics 2001, Rome, Italy, Paper no. 7P.09.

Talks

Only the ones with downloadable slides are listed.

Robust testing for hybrid systems, Hybrid Systems seminar, 7th December 2006, Drexel Univ., Philadelphia, USA.

Bisimulation as congruence in the behavioral setting, at the IEEE Conf. Decision and Control 2005, Seville, Spain.

Behavioral control in the presence of disturbances, at the IEEE Conf. Decision and Control 2005, Seville, Spain.

Approximate abstraction of stochastic systems, on 8th December 2005, SSC Seminar, Dept. Applied Math, Univ. Twente, The Netherlands.

Approximate abstraction of stochastic hybrid systems, on 20th October 2005, Embedded systems discussion group, UPenn.

Approximate abstraction of stochastic systems, on 8th August 2005, at Carnegie-Mellon University, Pittsburgh USA.

State maps of general behaviors and bisimulation, at the Systems and Control Colloquium, University of Groningen and CWI Amsterdam, The Netherlands, 2004.

State maps of general behaviors, their lattice structure and bisimulations, at the MTNS 2004, Leuven, Belgium.

A behavioral framework for compositionality: linear systems, discrete event systems and hybrid systems, at the MTNS 2004, Leuven, Belgium.

Control of hybrid behavioral automata by interconnection, at the IFAC Conf. Analysis and Design of Hybrid Systems 2003. Powerpoint and pdf.

Compatibility of behavior interconnections, at the Benelux Systems and Control meeting 2003 and ECC 2003.

Control as interconnection, a part of a lecture given with Jan Willems and Madhu Belur at SISTA, KU Leuven, Belgium, May 2003.