Region-based prescriptive route guidance for travelers of multiple classes von Lentzakis, Antonis F., Ware, Simon I., Su, Rong, Wen, Changyun

Volltext

A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories von Deplano, Diego, Franceschelli, Mauro, Ware, Simon, Rong, Su, Giua, Alessandro

Volltext

Decomposition methods for manufacturing system scheduling: a survey von Yang, Fajun, Gao, Kaizhou, Simon, Ian Ware, Zhu, Yuting, Su, Rong

Volltext

Progressive events in supervisory control and compositional verification von Ware, Simon, Malik, Robi

Volltext

Efficient Approach to Scheduling of Transient Processes for Time-Constrained Single-Arm Cluster Tools With Parallel Chambers von Yang, FaJun, Qiao, Yan, Gao, KaiZhou, Wu, NaiQi, Zhu, YuTing, Simon, Ian Ware, Su, Rong

Volltext

Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis von Lin, Liyong, Zhu, Yuting, Tai, Ruochen, Ware, Simon, Su, Rong

Volltext

A State-Based Characterisation of the Conflict Preorder von Ware, Simon, Malik, Robi

Volltext

Time Optimal Synthesis Based Upon Sequential Abstraction and Its Application to Cluster Tools von Ware, Simon, Rong Su

Volltext

On the computation of counterexamples in compositional nonblocking verification von Malik, Robi, Ware, Simon

Volltext

An algorithm to test the conflict preorder von Ware, Simon, Malik, Robi

Volltext

Conflict-preserving abstraction of discrete event systems using annotated automata von Ware, Simon, Malik, Robi

Volltext

Reduction of Distributions: Definitions, Properties, and Applications von Liyong Lin, Ware, Simon, Rong Su, Wonham, W. Murray

Volltext

The Dangerous Substances and Explosive Atmospheres Regulations 2002/An Assessment of the Impact on Transco and the Proposed Implentation Strategy von Ware, Simon

Volltext

Counterexample Computation in Compositional Nonblocking Verification von Malik, Robi, Ware, Simon

Volltext

Vigorous Exercise in Patients With Congenital Long QT Syndrome: Results of the Prospective, Observational, Multinational LIVE-LQTS Study von Lampert, Rachel, Day, Sharlene, Ainsworth, Barbara, Burg, Matthew, Marino, Bradley S, Salberg, Lisa, Tome Esteban, Maria Teresa, Abrams, Dominic J, Aziz, Peter F, Barth, Cheryl, Behr, Elijah R, Bell, Cheyanne, Berul, Charles I, Bos, Johan M, Bradley, David, Cannom, David S, Cannon, Bryan C, Concannon, Maryann Anandi, Cerrone, Marina, Czosek, Richard J, Dubin, Anne M, Dziura, James, Erickson, Christopher C, Estes, 3rd, N A Mark, Etheridge, Susan P, Goldenberg, Ilan, Gray, Belinda, Haglund-Turnquist, Carla, Harmon, Kimberly, James, Cynthia A, Johnsrude, Christopher, Kannankeril, Prince, Lara, Alice, Law, Ian H, Li, Fangyong, Link, Mark S, Molossi, Silvana M, Olshansky, Brian, Noseworthy, Peter A, Saarel, Elizabeth V, Sanatani, Shubhayan, Shah, Maully, Simone, Laura, Skinner, Jonathan, Tomaselli, Gordon F, Ware, James Simon, Webster, Gregory, Zareba, Wojciech, Zipes, Douglas P, Ackerman, Michael J

Volltext

Competition and the Separation of Supply Point Metering: A Technical and Safety Framework von Ware, Simon

Volltext

Networked Supervisor Synthesis Against Lossy Channels with Bounded Network Delays as Non-Networked Synthesis von Lin, Liyong, Zhu, Yuting, Tai, Ruochen, Ware, Simon, Su, Rong

Volltext bestellen

An Efficient Method of Matrix Multiplication for Heaps of Pieces von Ware, Simon, Yang, Fajun, Zhu, Yuting, Su, Rong, Lin, Liyong

Volltext

AUTOMATED GUIDED VEHICLE MANAGEMENT SYSTEM AND METHOD von Soon, Bo Woon Jeffrey, Lin, Liyong, Su, Rong, Sun, Yajuan, Ware, Simon

Volltext bestellen

Automated guided vehicle management system and method von Soon, Bo Woon Jeffrey, Lin, Liyong, Su, Rong, Sun, Yajuan, Ware, Simon

Volltext bestellen