Austin Jones

According to our database1, Austin Jones authored at least 15 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Privacy in Feedback: The Differentially Private LQG.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Temporal Logics for Learning and Detection of Anomalous Behavior.
IEEE Trans. Automat. Contr., 2017

2016
Optimal Pesticide Scheduling in Precision Agriculture.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Control in belief space with Temporal Logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Q-Learning for robust satisfaction of signal temporal logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Enforcing temporal logic specifications via reinforcement learning.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

SpaTeL: a novel spatial-temporal logic and its applications to networked systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Distributed information gathering policies under temporal logic constraints.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Correct-by-construction control synthesis for multi-robot mixing.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Information-guided persistent monitoring under temporal logic constraints.
Proceedings of the American Control Conference, 2015

2014
Temporal logic inference for classification and prediction from data.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Anomaly detection in cyber-physical systems: A formal methods approach.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
A receding horizon algorithm for informative path planning with temporal logic constraints.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Distribution temporal logic: Combining correctness with quality of estimation.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A motion-based communication system.
Proceedings of the American Control Conference, 2013


  Loading...