Visible to the public Biblio

Found 1750 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 
[Anonymous].  2016.  Transactions on Foundations for Mastering Change I. Lecture Notes in Computer Science. 9960
Huang, T., Liu, C., Sharma, A., Sarkar, S..  2017.  Traffic System Anomaly Detection using Spatiotemporal Pattern Networks. Proceedings of the 2nd ACM SIGKDD Workshop on Machine Learning for Prognostics & Health Management. (Halifax, NS, Canada).
Khalilikhah, Majid, Heaslip, Kevin, Hancock, Kathleen.  2016.  Traffic sign vandalism and demographics of local population: A case study in Utah. Journal of Traffic and Transportation Engineering (English Edition). 3:192–202.
Wu, L., Liu, C., Huang, T., Sharma, A., Sarkar, S..  2017.  Traffic sensor health monitoring using spatiotemporal graphical modeling. Proceedings of the 2nd ACM SIGKDD Workshop on Machine Learning for Prognostics & Health Management. (Halifax, NS, Canada).
Delle Monache, M.L., Piccoli, B., Rossi, F..  Submitted.  Traffic regulation via controlled speed limit. SIAM Journal on Control and Optimization.
S. Coogan, E. A. Gol, M. Arcak, C. Belta.  2016.  Traffic Network Control From Temporal Logic Specifications. IEEE Transactions on Control of Network Systems. 3:162-172.

We propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal logic. By applying techniques from model checking and formal methods, we obtain a correct-by-construction controller that is guaranteed to satisfy complex specifications. To apply these tools, we identify and exploit structural properties particular to traffic networks that allow for efficient computation of a finite-state abstraction. In particular, traffic networks exhibit a componentwise monotonicity property which enables reaching set computations that scale linearly with the dimension of the continuous state space.}, %keywords={Indexes;Roads;Throughput;Trajectory;Vehicle dynamics;Vehicles;Finite state abstraction;linear temporal logic;transportation networks

Zhao, Yanbo, Ioannou, Petros A.  2016.  A Traffic Light Signal Control System with Truck Priority. 2016 IFAC Symposium on Control in Transportation Systems.
Hubicki, Christian M, Aguilar, Jeffrey J, Goldman, Daniel I, Ames, Aaron D.  2016.  Tractable terrain-aware motion planning on granular media: An impulsive jumping study. Intelligent Robots and Systems (IROS), 2016 IEEE/RSJ International Conference on. :3887–3892.
[Anonymous].  2015.  Towards Verification of Hybrid Systems in a Foundational Proof Assistant. Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign. :248–257.
C. Guo, Z. Fu, S. Ren, Y. Jiang, L. Sha.  2017.  Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC). 01:760-765.
Dimitrov, Velin, Cebry, Nicholas, Onal, Cagdas, Padir, Taskin.  2015.  Towards user-centered design of a robotic prosthetic hand with EMG control interfaces. Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments. :14.
Mealin, S., Winters, M., Brugarolas, R., Sherman, B., Bozkurt, A., Roberts, D..  2015.  Towards the Non-Visual Monitoring of Canine Physiology in Real-Time by Blind Handlers. Second International Congress on Animal-Computer Interaction Iskandar, Malaysia. 2015
Hourdakis, John, Michalopoulos, Panos G.  1999.  Towards the Development of Next Generation Traffic Management Centers: The TRAMLAB System. World Congress on Intelligent Transport Systems (6th: 1999: Toronto Ont.). ITS: smarter, smoother, safer, sooner.
Zhang, Daniel Yue, Zheng, Chao, Wang, Dong, Thain, Doug, Mu, Xin, Madey, Greg, Huang, Chao.  2017.  Towards scalable and dynamic social sensing using a distributed computing framework. Distributed Computing Systems (ICDCS), 2017 IEEE 37th International Conference on. :966–976.