Visible to the public Biblio

Found 111 results

Filters: First Letter Of Title is T  [Clear All Filters]
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   [Show ALL]
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis.  2017.  Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. Formal Techniques for Distributed Objects, Components, and Systems - 37th {IFIP} {WG} 6.1 International Conference, {FORTE} 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw. :194–209.
Rongchao Zhang, Yuan Wu, Wenan Zhang, Li Yu, Wen-Zhan Song.  2013.  Two-sided Energy Scheduling Algorithm for Smart Grid with Storage Cost. International Conference on Wireless Communications and Signal Processing, WCSP2013.
Kirill Trapeznikov, Venkatesh Saligrama, David A. Castañón.  2012.  Two stage decision system. {IEEE} Statistical Signal Processing Workshop, {SSP} 2012, Ann Arbor, MI, USA, August 5-8, 2012. :920–923.
Almoallem, Y.D., Jiang, H..  2017.  Tunable dielectrophoretic microlens with lowered driving voltage. The 18th International Conference on Solid-State Sensors, Actuators and Microsystems (Transducers’17). :258-261.
Judson Wilson, Riad S. Wahby, Henry Corrigan-Gibbs, Dan Boneh, Philip Levis, Keith Winstein.  2017.  Trust but Verify: Auditing Secure Internet of Things Devices. {Proceedings of the The 15th ACM International Conference on Mobile Systems, Applications, and Services (MobiSys 2017)}.
Trippel, Caroline, Manerkar, Yatin A, Lustig, Daniel, Pellauer, Michael, Martonosi, Margaret.  2017.  TriCheck: Memory Model Verification at the Trisection of Software, Hardware, and ISA. Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems. :119–133.
Y. Zhang, J. Cortes.  2017.  Transient-state feasibility set approximation of power networks against disturbances of unknown amplitude. acc. :2767-2772.

This paper develops methods to efficiently compute the set of disturbances on a power network that do not tip the frequency of each bus and the power flow in each transmission line beyond their respective bounds. For a linearized AC power network model, we propose a sampling method to provide superset and subset approximations with a desired accuracy of the set of feasible disturbances. We also introduce an error metric to measure the approximation gap and design an algorithm that is able to reduce its value without impacting the complexity of the resulting set approximations. Simulations on the IEEE 118-bus power network illustrate our results.

C. Guo, S. Ren, Y. Jiang, P. L. Wu, L. Sha, R. B. Berlin.  2016.  Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). :1-10.
Stephanedes, Yorgos, Hourdakis, John.  1996.  Transferability of freeway incident detection algorithms. Transportation Research Record: Journal of the Transportation Research Board. :184–195.
Feuz, Kyle, Cook, Diane J.  2015.  Transfer learning across feature-rich heterogeneous feature spaces via feature-space remapping. ACM Transactions on Intelligent Systems and Technology. 6:3.
[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.