Visible to the public Biblio

Found 1720 results

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A. Yogarathinam, N. R. Chaudhuri.  2016.  An approach for wide-area damping control using multiple DFIG-based wind farm to deal with communication dropouts. 2016 IEEE Power Energy Society Innovative Smart Grid Technologies Conference (ISGT). :1-5.
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.
Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul.  2016.  Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue. Applied Verification for Continuous and Hybrid Systems.
Abbas, Houssam, Jang, Kuk Jin, Jiang, Zhihao, Mangharam, Rahul.  2016.  Towards Model Checking of Implantable Cardioverter Defibrillators. 19th ACM International Conference on Hybrid Systems: Computation and Control.
Abhinav Ganesan, Sidharth Jaggi, Venkatesh Saligrama.  2017.  Learning Immune-Defectives Graph Through Group Tests. {IEEE} Trans. Information Theory. 63:3010–3028.
Abhinav Ganesan, Sidharth Jaggi, Venkatesh Saligrama.  2015.  Learning immune-defectives graph through group tests. {IEEE} International Symposium on Information Theory, {ISIT} 2015, Hong Kong, China, June 14-19, 2015. :66–70.
Abhinav Ganesan, Sidharth Jaggi, Venkatesh Saligrama.  2015.  Non-adaptive group testing with inhibitors. 2015 {IEEE} Information Theory Workshop, {ITW} 2015, Jerusalem, Israel, April 26 - May 1, 2015. :1–5.
Abraham Vinod, Baisravan HomChaudhuri, Meeko Oishi.  2017.  Forward stochastic reachability analysis for uncontrolled linear systems using Fourier transforms. Hybrid Systems: Computation and Control. :35–44.

\textbf{Best Student Paper Award}

Adam Case, Jack H. Lutz, Donald M. Stull.  2016.  Reachability Problems for Continuous Chemical Reaction Networks. Unconventional Computation and Natural Computation - 15th International Conference, {UCNC} 2016, Manchester, UK, July 11-15, 2016, Proceedings. :1–10.
Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos.  2017.  Vacuity Aware Falsification for MTL Request-Response Specifications. IEEE International Conference on Automation Science and Engineering.
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos.  2016.  An efficient algorithm for monitoring practical TPTL specifications. 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. :184-193.