Visible to the public Biblio

Found 1750 results

Journal Article
Stavros Tripakis.  2016.  Compositional Model-Based System Design and Other Foundations for Mastering Change. T. Foundations for Mastering Change. 1:113–129.
Stavros Tripakis.  2016.  Compositionality in the Science of System Design. Proceedings of the {IEEE}. 104:960–972.
Xin, Wuping, Hourdos, John, Michalopoulos, Panos.  2006.  Comprehensive evaluation of new integrated freeway ramp control strategy. Transportation Research Record: Journal of the Transportation Research Board. :46–54.
Venkatesh Saligrama, Manqi Zhao.  2009.  Compressed Blind De-convolution. CoRR. abs/0910.0239
Soltani-Sobh, Ali, Heaslip, Kevin, Bosworth, Ryan, Barnes, Ryan.  2016.  Compressed Natural Gas Vehicles: Financially Viable Option? Transportation Research Record: Journal of the Transportation Research Board. :28–36.
L.Cheng, J.Niu, L.Kong, C.Luo, Y.Gu, W.He, S.K.Das.  2017.  Compressive sensing based data quality improvement for crowd-sensing applications. Journal of Network and Computer Applications. 77:123–134.
K. Zhang, J. Sprinkle, R. G. Sanfelice.  2015.  Computationally-Aware Control of Autonomous Vehicles: A Hybrid Model Predictive Control Approach. Autonomous Robots. 39:503-517.
K. Zhang, J. Sprinkle, R. G. Sanfelice.  2016.  Computationally-Aware Switching Criteria for Hybrid Model Predictive Control Of Cyber-Physical Systems. IEEE Transactions on Automation Science and Engineering. 13:479–490.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  Computer Aided Clinical Trials for Implantable Cardiac Devices. SES 2016: Symposium F-2: Modeling, Design and Safety Analysis in Physiological Closed-Loop Systems.
Wiriyathammabhum, Peratham, Summers-Stay, Douglas, Fermuller, Cornelia, Aloimonos, Yiannis.  2017.  Computer Vision and Natural Language Processing: Recent Approaches in Multimedia and Robotics. ACM Computing Surveys (CSUR). 49:71.
Rungger, Matthias, Tabuada, Paulo.  2017.  Computing robust controlled invariant sets of linear systems. IEEE Transactions on Automatic Control.
Yan, Jing, Xu, Ziqiang, Wan, Yan, Chen, Cailian, Luo, Xiaoyuan.  2016.  Consensus estimation-based target localization in underwater acoustic sensor networks. International Journal of Robust and Nonlinear Control. 27:1607–1627.
Ames, Aaron D, Xu, Xiangru, Grizzle, Jessy W, Tabuada, Paulo.  2016.  Control Barrier Function Based Quadratic Programs for Safety Critical Systems. IEEE Transactions on Automatic Control.
Ames, Aaron D, Xu, Xiangru, Grizzle, Jessy W, Tabuada, Paulo.  2017.  Control barrier function based quadratic programs for safety critical systems. IEEE Transactions on Automatic Control. 62:3861–3876.
Justin Pearson, João Pedro Hespanha, Daniel Liberzon.  2017.  Control with minimal cost-per-symbol encoding and quasi-optimality of event-based encoders. IEEE Trans. on Automat. Contr.. 62:2286–2301.
El Chamie, Mahmoud, Yu, Yue, Açıkmeşe, Behçet, Ono$\dagger$, Masahiro.  Submitted.  Controlled Markov Processes with Safety State Constraints. {IEEE} Transactions in Automatic Control.
Balkan, Ayca, VARDI, MOSHE, Tabuada, Paulo.  2015.  Controller synthesis for mode-target games. IFAC-PapersOnLine. 48:343–350.
R. G. Sanfelice, L. Praly.  2016.  Convergence of Nonlinear Observers on $\mathbbR^n$ with a Riemannian Metric (Part II). IEEE Transactions on Automatic Control. 61:2848–2860.
Yang, I..  2017.  A convex optimization approach to distributionally robust Markov decision processes with Wasserstein distance. IEEE Control Systems Letters. 1:164–169.
Yuan Wu, Wen-Zhan Song.  2014.  Cooperative Resource Sharing and Pricing for Proactive Dynamic Spectrum Access via Nash Bargaining Solution. IEEE Transactions on Parallel and Distributed Systems (TPDS). 25
Dai, Jin, Lin, Hai.  2017.  Coordination and Control of Distributed Discrete-event Systems subject to Sensor and Actuator Failures. arXiv preprint arXiv:1707.05428.
Nilsson, Petter, Hussien, Omar, Balkan, Ayca, Chen, Yuxiao, Ames, Aaron D, Grizzle, Jessy W, Ozay, Necmiye, Peng, Huei, Tabuada, Paulo.  2016.  Correct-by-construction adaptive cruise control: Two approaches. IEEE Transactions on Control Systems Technology. 24:1294–1307.
P. Nilsson, O. Hussien, A. Balkan, Y. Chen, A. D. Ames, J. W. Grizzle, N. Ozay, H. Peng, P. Tabuada.  2015.  Correct-by-Construction Adaptive Cruise Control: Two Approaches. IEEE Transactions on Control Systems Technology. PP:1-14.
George K. Atia, Venkatesh Saligrama, Cem Aksoylar.  2015.  Correction to "Boolean Compressed Sensing and Noisy Group Testing". {IEEE} Trans. Information Theory. 61:1507.
D. A. Castanon, T. Tsiligkaridis, A. O. Hero.  2017.  Corrections to #x201C;On Decentralized Estimation With Active Queries #x201D; [May 15 2610-2622]. IEEE Transactions on Signal Processing. 65:4971-4972.