# jemdoc: menu{MENU}{index.html}, showsource
= Research - Paper
# Publications
== In the Pipeline
- Jie Fu, Abhishek N. Kulkarni, Huan Luo, Nandi O. Leslie, Charles A. Kamhoua,"Secure-by-synthesis network with active deception and temporal logic specifications", [https://arxiv.org/abs/2002.07025 ArXiv], 2020.
== Under review
- Zhentian Qian, Jie Fu, Quanyan Zhu, "A Receding-Horizon MDP Approach for Performance Evaluation of Moving Target Defense in Networks'', / IEEE Conference on Control Technology and Applications/, [https://arxiv.org/abs/2002.05146 ArXiv], submitted, 2020.
== Journal Publications
- *Luyao Niu, Jie Fu, Andrew Clark, "Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems
Under Attacks", /IEEE Transactions on Automatic Control/, To Appear, 2020.*
- Bo Lyu, Yanhua Li, Jie Fu, Andrew C. Trapp, Haiyong Xie and Yong Liao,"Scalable User-Substation Assignment with Big Data from Power Grids", /IEEE Transactions on Big Data/, vol.PP,
no. 99. 2017. [./files/papers/TBD_PG.pdf pdf]
- Erik Skorina, Ming Luo, Weijia Tao, Fuchen Chen, Jie Fu, Cagdas Onal,
"Adapting to Flexibility: Model Reference Adaptive Control of Soft
Bending Actuators", [http://www.ieee-ras.org/publications/ra-l IEEE Robotics and Automation Letters], 2017, accepted.
- Jie Fu and U. Topcu, "Synthesis of Shared Autonomy Policies With
Temporal Logic Specifications,'' in /IEEE Transactions on
Automation Science and Engineering/, vol. 13, no. 1, pp. 7-17,
Jan. 2016. [./files/papers/Fu-Topcu-2016-TASE.pdf pdf]
- Jie Fu and Ufuk Topcu, "Synthesis of joint control and active
sensing strategies under temporal logic
constraints," /IEEE Transactions on Automatic Control/, vol.PP,
no.99, pp.1-1, 2016 . [./files/papers/Fu-Topcu-2016-TAC.pdf pdf]
- Jie Fu, Herbert G. Tanner, Jeffrey Heinz, Konstantinos
Karydis, Jane Chandlee, and Cesar Koirala, "Symbolic
planning and control using game theory and grammatical
inference," /Engineering Applications of Artificial
Intelligence/, vol. 37, pp. 378-391, 2015. [./files/papers/Fu-EtAl-2015-EAAI.pdf pdf]
- Jie Fu, Herbert G. Tanner, and Jeffrey Heinz, "Concurrent
multi-agent systems with temporal logic objectives: game theoretic
analysis and planning through negotiation," /IET Control
Theory & Applications/, vol. 9, iss. 3, pp. 465-474, 2015. [http://digital-library.theiet.org/content/journals/10.1049/iet-cta.2014.0611 link]
- 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, 2014. [./files/papers/Fu-EtAl-2013-TAC.pdf pdf]
- Jie Fu and Herbert G. Tanner, "Bottom-up symbolic control:
attractor-based planning and behavior synthesis," /IEEE
Transactions on Automatic Control/,vol.58, no.12,
pp. 3142--3155, 2013. [./files/papers/Fu-Tanner-2013-TAC.pdf pdf]
- Herbert G. Tanner, Jie Fu, Chetan Rawal, Jorge L. Piovesan, and
Chaouki T. Abdallah, "Finite abstractions for hybrid systems
with stable continuous dynamics," /Discrete Event Dynamic
Systems/, vol 22, no. 1, pp. 83--99, 2012. [./files/papers/Tanner-FuEtAl-2011-DEDS.pdf pdf]
== Book Chapter
- 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/, pages 252-263, Berlin,
Heidelberg, 2011. Springer-Verlag. [Fu-HeinzEtAl-2011-ACSPL.pdf pdf]
== Conference Publications
- *Abhishek N. Kulkarni, Jie Fu, ``Deceptive Strategy Synthesis under Action Misperception in Reachability Games'',[https://arxiv.org/abs/2002.07045 ArXiv(draft version)], /International Joint Conferences on Artificial Intelligence/, 2020. acceptance rate 12.6\%.*
- Abhishek N. Kulkarni, Jie Fu, "Opportunistic Synthesis in Reactive Games under Information Asymmetry", [https://arxiv.org/abs/1906.05847v1 arXiv:1906.05847v1] , /IEEE Conference on Decision and Control/, 2019.
- Lening Li, Jie Fu, "Topological Approximate Dynamic Programming under Temporal Logic Constraints", [https://arxiv.org/abs/1907.10510v1 arXiv:1907.10510v1], /IEEE Conference on Decision and Control/, accepted, 2019.
- Songyang Han, Jie Fu, Fei Miao, "Exploiting Beneficial Information Sharing Among Autonomous Vehicles", /IEEE Conference on Decision and Control/, accepted, 2019.
- Lening Li, Jie Fu, "Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints", [https://arxiv.org/abs/1810.02199 arXiv:1810.02199] [math.OC], /American Control Conference,/ 2019.
- Xuan Liu, Jie Fu, "Compositional Planning in Markov Decision Process: Temporal abstraction meets generalized logic composition", [https://arxiv.org/abs/1810.02497 arXiv:1810.02497] [math.OC], /American Control Conference,/ 2019.
- Renato Gasoto, Miles Macklin, Xuan Liu, Yinan Sun, Kenny Erleben, Cagdas
Onal, Jie Fu, " A Validated Physical Model For Real-Time Simulation of Soft Robotic Snakes", [https://arxiv.org/abs/1904.02833 arXiv:1904.02833] [video https://youtu.be/wUAGTeKtKsc] ICRA, 2019.
- Luyao Niu, Jie Fu, Andrew Clark, "Minimum Violation Control Synthesis on Cyber-Physical Systems under Attacks ", /IEEE Conference on Decision and Control/, accepted, 2018.
- Melkior Ornik, Jie Fu, Niklas Lauffer, Kasun Withanage Perera, Mohammed Alshiekh, Masahiro Ono, Ufuk Topcu, "Expedited Learning in MDPs with Side Information", /IEEE Conference on Decision and Control/, accepted, 2018.
- Steven Paull Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu "Human-in-the-Loop Synthesis of Partially Observable Markov Decision Processes", /American Control Conference,/ 2018. [./files/papers/2018ACC_1146_FI.pdf pdf]
- Abhishek Ninad Kulkarni, Jie Fu, "A Compositional Approach to Reactive Games under
Temporal Logic Specifications", /American Control Conference,/ 2018. [./files/papers/2018ACC_1180_FI.pdf pdf]
- Guojun Wu, Yichen Ding, Yanhua Li, Jun Luo, Fan Zhang, Jie Fu, "Data-Driven Inverse Learning of Passenger Preferences in Urban Public Transits", /IEEE Conference on Decision and Control,/ 2017. [./files/papers/CDC17_IRL.pdf pdf]
- Jie Fu, Ivan Papusha, and Ufuk Topcu, "Sampling-based approximate optimal control under temporal logic constraints", /20th ACM International Conference on
Hybrid Systems: Computation and Control/, 2017. [./files/papers/Fu_Papusha_Topcu-2017-HSCC.pdf pdf]
- Lening Li, Jie Fu, "Sampling-based approximate optimal temporal logic planning", /2017 IEEE International Conference on Robotics and Automation (ICRA)/, Singapore, 2017, pp. 1328-1335. [./files/papers/Li_Fu_ICRA2017.pdf pdf]
- Bo Lyu, Shijian Li, Yanhua Li, Jie Fu, Andrew Trapp, Haiyong Xie and Yong Liao, "Scalable User Assignment in Power Grid: A Data Driven Approach", /24th ACM SIGSPATIAL International Conference on Advances
in Geographic Information Systems,/ 2016. [./files/papers/SIGSPATIAL16-CR-font.pdf pdf]
- Rayna Dimitrova, Jie Fu, Ufuk Topcu, "Robust optimal policies for
Markov decision processes with safety-threshold constraints", /IEEE Conference on Decision and Control,/ 2016. [./files/papers/UMDP_safety_cdc16.pdf pdf]
- Ivan Papusha, Jie Fu, Ufuk Topcu, and Richard M. Murray, "Automata
Theory Meets Approximate Dynamic Programming: Optimal Control with
Temporal Logic Constraints", /IEEE Conference on Decision and Control,/
2016. [./files/papers/adpltl_cdc2016.pdf pdf]
- Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas,
"Optimal temporal logic planning in probabilistic semantic maps,"
/IEEE Robotics and Automation Conference/, 2016.
- Jie Fu and Ufuk Topcu, "Computational methods for stochastic
control with metric interval temporal logic specifications,"
/IEEE Conference on Decision and Control,/ 2015. [./files/papers/Fu-Topcu-2015-CDC.pdf pdf]
- Jie Fu, Shuo Han, and Ufuk Topcu, "Optimal control in markov
decision processes via distributed optimization," /IEEE Conference
on Decision and Control/, 2015. [./files/papers/Fu-Han-Topcu-2015-CDC.pdf pdf]
- Jie Fu and Ufuk Topcu, "Integrating active sensing into
reactive synthesis with temporal logic constraints under partial
observations," /American Control Conference,/ 2015. [./files/papers/Fu-Topcu-2015-ACC.pdf pdf]
- Jie Fu and Ufuk Topcu, "Pareto efficiency in synthesizing
shared autonomy policies with temporal logic constraints."
/IEEE International Conference on Robotics and Automation,/ 2015. [./files/papers/Fu-Topcu-2015-ICRA.pdf pdf]
- Jie Fu and Ufuk Topcu, "Probably approximately correct MDP
learning and control with temporal logic constraints", /Robotics:
Science and Systems,/ 2014. [./files/papers/Fu-Topcu-2014-RSS.pdf pdf]
- Jie Fu, Rayna Dimitrova, and Ufuk Topcu, "Abstractions and
sensor design in partial-information, reactive controller
synthesis," /American Control Conference/, 2014. [./files/papers/Fu-Dimitrova-Topcu-2014-ACC.pdf pdf]
- Jie Fu, Herbert G. Tanner, and Jeffrey Heinz, "Adaptive
planning in unknown environments using grammatical
inference," /IEEE 52nd Annual Conference on Decision and
Control/, pp.5357--5363, 2013. [./files/papers/Fu-Tanner-Heinz-2013-CDC.pdf pdf]
- Jie Fu, Shridhar Shah, and Herbert
G. Tanner, "Hierarchical control via approximate simulation
and feedback linearization," /American Control Conference/,
pp.1816--1821, 2013. [./files/papers/Fu-ShahEtAl-2013-ACC.pdf pdf]
- Jane Chandlee, Jie Fu, Konstantinos Karydis, Cesar Koirala,
Jeffrey Heinz, and Herbert G. Tanner, "Integrating
grammatical inference into robotic planning," /11th
International Conference on Grammatical Inference/, vol 21. pp.
69--83, 2012. [./files/papers/Chandlee-FuEtAl-2012-ICGI.pdf pdf]
- Jie Fu and Herbert G. Tanner, "Optimal
planning on register automata," /American Control
Conference/, pp. 4540--4545, 2012. [./files/papers/Fu-Tanner-2012-ACC.pdf pdf]
== Preferred workshop and invited talks
- "Lecture 2: Formal Methods and Optimal Control Techniques for Autonomous Vehicles," /The IEEE VTS Connected & Autonomous Vehicles Summer School @ WPI,/, July 28-29, 2016, Worcester, MA, USA. - - "Probably Approximately Correct MDP Learning and Control
With Temporal Logic Constraints,"
/Robotic Science and Systems Workshop on
Guaranteed Safety for Uncertain Robotic Systems,/ July 13, 2014,
UC Berkeley, CA, USA.
- "Bottom-up Abstraction and Optimal Planning for a Class of
Hybrid Systems,"
/Centre for Intelligent Machines Informal Systems Seminar
Series at the McGill University/, March 21, 2014, Quebec,
CA.
- "Adaptive Symbolic Control with Grammatical Inference,"
/ESE Special Seminar Series at the University of Pennsylvania/, May 2, 2013, PA, USA.
== Dissertation
"Bottom-up Symbolic Control and Adaptive Systems:
Abstraction, Planning and Learning," PhD Thesis, University of
Delaware, 2013. [./files/papers/Fu-Thesis-2013.pdf pdf]