Jie Fu


Department of Electrical and Systems Engineering
University of Pennsylvania
200 S. 33rd St.Philadelphia, PA
19104, USA
jief at seas dot upenn dot edu


I am a post-doc researcher with Ufuk Topcu in the Department of Electrical and Systems Engineering (ESE) at the University of Pennsylvania .
I got my Ph.D. in Mechanical Engineering from the University of Delaware , 2013. I received my B.S. and M.S. in the Electrical Engineering and Automaton from Beijing Institute of Technology .
My work is in the general field of abstraction and control synthesis of hybrid systems, with emphasis in control with temporal logic constraints, machine learning and formal methods. I am also interested in multi-agent games and decentralized control. Currently I am mainly focused on perception-based reactive control synthesis, learning algorithms and the integration of learning and algorithmic game theory in an adaptive symbolic control framework.


Ph.D. Dissertation

Jie Fu. Bottom-up Symbolic Control and Adaptive Systems: Abstraction, Planning and Learning. Ph.D. Dissertation, University of Delaware, 2013. bib | pdf ]

Work in progress

[1] Jie Fu, Herbert G. Tanner, Jeffrey Heinz. A game-theoretic analysis for multi-robot non-cooperative systems.

Journal papers

[1] Jie Fu, Herbert G. Tanner, Jeffrey Heinz and Jane Chandlee. Adaptive symbolic control for finite-state transition systems with grammatical inference. IEEE Transactions on Automatic Control, vol.59, no.2, pp.505-511, Feb. 2014. [ bib | http ]
[2] Jie Fu and Herbert G. Tanner. Bottom-up symbolic control: stability-based planning and behavior synthesis. IEEE Transactions on Automatic Control,vol.58, no.12, pp.3142-3155, Dec, 2013. [ bib | http ]
[3] Herbert Tanner, Jie Fu, Chetan Rawal, Jorge Piovesan, and Chaouki Abdallah. Finite abstractions for hybrid systems with stable continuous dynamics. Discrete Event Dynamic Systems, 22:83-99, 2012. [ bib |  pdf ]

Book chapters

[1] Jie Fu, Jeffrey Heinz, and Herbert G. Tanner. An algebraic characterization of strictly piecewise languages. In Proceedings of the 8th annual conference on Theory and applications of models of computation, TAMC'11, pages 252-263, Berlin, Heidelberg, 2011. Springer-Verlag. [ bib | pdf ]

Peer-reviewed conference papers

[1] Jie Fu and Ufuk Topcu. Probably Approximately Correct MDP Learning and Control With Temporal Logic Constraints. In Robotics: Science and Systems (RSS), 2014, [ bib |  pdf ]
[2] Jie Fu, Rayna Dimitrova and Ufuk Topcu. Abstractions and sensor design in partial-information, reactive controller synthesis. In American Control Conference (ACC), 2014, accepted. [arxiv.org ]
[3] Jie Fu, Herbert G. Tanner, and Jeffrey Heinz. Adaptive planning in unknown environments using grammatical inference. In IEEE Conference on Decision and Control, accepted, 2013. [ bib ]
[4] Jie Fu, Shridhar Shah, and Herbert G. Tanner. Hierarchical control via approximate simulation and feedback linearization. In American Control Conference (ACC), 2013, pages 1816-1821, 2013. [ bib | http ]
[5] Jane Chandlee, Jie Fu, Konstantinos Karydis, Cesar Koirala, Jeffrey Heinz, and Herbert G. Tanner. Integrating grammatical inference into robotic planning. Journal of Machine Learning Research - Proceedings Track, 21:69-83, 2012. [ bib | pdf ]
[6] Jie Fu and H.G. Tanner. Optimal planning on register automata. In American Control Conference (ACC), 2012, pages 4540 -4545, june 2012. [ bib | http ]


“stay together
learn the flowers
go light”
-- Gary Snyder