Visible to the public Biblio

Found 221 results

Filters: First Letter Of Last Name is K  [Clear All Filters]
2018-05-14
Lewis Chiang, Nick Malone, Kendra Lesser, Meeko Oishi, Lydia Tapia.  2015.  Path-Guided Artificial Potential Fields with Stochastic Reachable Sets for Motion Planning in Highly Dynamic Environments. International Conference on Robotics and Automation. :2347–2354.
Kendra Lesser, Meeko Oishi.  2015.  Computing Probabilistic Viable Sets for Partially Observable Hybrid Systems Using Truncated Gaussians and Adaptive Gridding. American Control Conference. :1505–1512.
A. P. Vinod, Y. Tang, M. M. K. Oishi, K. Sycara, C. Lebiere, M. Lewis.  2016.  Validation of cognitive models for collaborative hybrid systems with discrete human input. {IEEE/RSJ} International Conference on Intelligent Robots and Systems. :3339–3346.
Z. Kassas, J. Morales, K. Shamaei, J. Khalife.  2017.  LTE steers UAV. GPS World Magazine. 28:18–25.
J. Khalife, S. Ragothaman, K. Shamaei, J. Morales, Z. Kassas.  2017.  Fusing lidar and cellular signals for robust ground and aerial autonomous navigation. Proceedings of Southern California Robotics Symposium.
Kaisar, Evangelos I, Hourdos, John, Nieland, Robin.  Submitted.  Traffic Impact Assessment of Partial Cloverleaf Interchange.
Hourdakis, J, Michalopoulos, PG, Kottommannil, J.  2002.  A general practical procedure for calibrating microscopic traffic simulation models. Research Rep. to Orange County Transportation Authority.
Hourdakis, John, Michalopoulos, Panos G, Kottommannil, Jiji.  2002.  A PRACTICAL PROCEDURE FOR CALIBRATING MICROSCOPIC TRAFFIC SIMULATION MODELS By.
Koka, Muralidhar, Hourdakis, John, Michalopoulos, Panos G.  2000.  Computer aided testing and evaluation of adaptive ramp control strategies. Transportation Research Board 79th Annual Meeting.
Hourdakis, John, Michalopoulos, Panos, Kottommannil, Jiji.  2003.  Practical procedure for calibrating microscopic traffic simulation models. Transportation Research Record: Journal of the Transportation Research Board. :130–139.
Davis, Gary, Knapp, Keith K, Hourdos, John.  2012.  Vehicle Speed Impacts of Occasional Hazard (Playground) Warning Signs.
Antti Siirtola, Stavros Tripakis, Keijo Heljanko.  2017.  When Do We Not Need Complex Assume-Guarantee Rules? {ACM} Trans. Embedded Comput. Syst.. 16:48:1–48:25.
[Anonymous].  2017.  Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017.
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal.  2016.  Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. Signal Processing Systems. 85:23–43.
Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis, Thomas Strump, Stavros Tripakis.  2015.  Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. Proceedings of the 11th International Modelica Conference.
Antti Tapani Siirtola, Stavros Tripakis, Keijo Heljanko.  2015.  When Do We (Not) Need Complex Assume-Guarantee Rules? 15th International Conference on Application of Concurrency to System Design, {ACSD} 2015, Brussels, Belgium, June 21-26, 2015. :30–39.
Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang.  2014.  On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. XIVth International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, {SAMOS} 2014, Agios Konstantinos, Samos, Greece, July 14-17, 2014. :51–58.
[Anonymous].  2014.  Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedin. Lecture Notes in Computer Science. 8413
Munir, Arslan, Kansakar, Prasanna, Khan, Samee U..  2017.  IFCIoT: Integrated Fog Cloud IoT: A novel architectural paradigm for the future Internet of Things. IEEE Consumer Electronics Magazine. 6:74-82.
2018-05-11
Vanessa Frias-Martinez, Suraj Nair,, Kiran Javkar.  2017.  Cycling Trip Purpose Inference and Route Choice Using GPS Data. under submission.
Anany Dwivedi, Anand Ramakrishnan, Kunal Patel, Selim Ozel, Cagdas D. Onal.  2017.  Design, Modeling, and Validation of a Soft Magnetic 3-D Force Sensor. IEEE Sensors (submitted).
Masashi Wakaiki, Kunihisa Okano, João Pedro Hespanha.  2015.  Stabilization of networked control systems with clock offset. Proc. of the 2015 Amer. Contr. Conf..
Masashi Wakaiki, Kunihisa Okano, João Pedro Hespanha.  2016.  L2-Gain Analysis of Systems with Clock Offsets. Proc. of the 2016 Amer. Contr. Conf..
Masashi Wakaiki, Kunihisa Okano, João P. Hespanha.  2017.  Stabilization of systems with asynchronous sensors and controllers. Automatica. 81:314–321.
Masashi Wakaiki, Kunihisa Okano, João Pedro Hespanha.  2015.  Control under Clock Offsets and Actuator Saturation. Proc. of the 54th Conf. on Decision and Contr..