Biblio
Filters: First Letter Of Last Name is A [Clear All Filters]
.
Submitted. Robust Metropolis-Hastings Algorithm for Safe Reversible Markov Chain Synthesis. System and Control Letters.
.
Submitted. Controlled Markov Processes with Safety State Constraints. {IEEE} Transactions in Automatic Control.
.
Submitted. Safe Markov Chains for Density Control of ON/OFF Agents with Observed Transitions. {IEEE} Transactions in Automatic Control.
.
2016. Distributed Averaging with Quantized Communication over Dynamic Graphs. Conference on Decision and Control (CDC). :4827–4832.
.
2016. The Discrete-Time Altafini Model of Opinion Dynamics with Communication Delays and Quantization. Conference on Decision and Control (CDC). :3572–3577.
.
2017. Necessary and sufficient conditions for distributed averaging with state constraints. American Control Conference (ACC). :2008–2013.
.
2017. Velocity Field Generation for Density Control of Swarms using Heat Equation and Smooth Kernels. {IFAC} World Congress. :9815–9821.
.
2016. Privacy, Discovery, and Authentication for the Internet of Things. European Symposium on Research in Computer Security ({ESORICS}).
To appear
.
2015. Ownership is Theft: Experiences Building an Embedded OS in Rust. {Proceedings of the 8th Workshop on Programming Languages and Operating Systems (PLOS 2015)}.
.
2016. Beetle: Flexible Communication for Bluetooth Low Energy. {Proceedings of the 14th International Conference on Mobile Systems, Applications and Services (MobiSys)}.
.
2016. Verena: End-to-End Integrity Protection for Web Applications. IEEE Symposium of Security and Privacy (Oakland).
.
2015. Ving: Bootstrapping the Desktop Area Network with a Vibratory Ping. 2015 ACM Workshop on Hot Topics in Wireless.
.
2015. Browsing the Web of Things with Summon. Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems. :481–482.
.
2015. PolyPoint: High-Precision Indoor Localization with UWB. Proceedings of the 13th ACM Conference on Embedded Networked Sensor Systems.
.
2016. Cinamin: A Perpetual and Nearly Invisible BLE Beacon. Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks.
.
2015. Efficient finite abstraction of mixed monotone systems. 18th ACM International Conference on Hybrid Systems: Computation and Control. :58-67.
.
2015. Controlling a network of signalized intersections from temporal logic specifications. Proceedings of the 2015 American Control Conference. :3919-3924.
.
2015. Offset optimization for a network of signalized intersections via semidefinite relaxation. Proceedings of the 54th IEEE Conference on Decision and Control. :2187-2192.
.
2015. Compositional controller synthesis for vehicular traffic networks. Proceedings of the 54th IEEE Conference on Decision and Control. :6165-6171.
.
2016. Directed specifications and assumption mining for monotone dynamical systems. 19th ACM International Conference on Hybrid Systems: Computation and Control. :21-30.
.
2016. Finite state abstraction and formal methods for traffic flow networks. Proceedings of the 2016 American Control Conference. :864-879.
.
2016. Symmetric monotone embedding of traffic flow networks with first-in-first-out dynamics. Proceedings of the 10th IFAC Symposium on Nonlinear Control Systems. :640-645.
.
2016. Mixed monotonicity of partial first-in-first-out traffic flow models. Proceedings of the 55th IEEE Conference on Decision and Control. :7611-7616.
.
2017. A Small Gain Theorem for Parametric Assume-Guarantee Contracts. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control. :207–216.
.
2017. Offset optimization of signalized intersections via the Burer-Monteiro method. Proceedings of the 2017 American Control Conference. :3554-3559.