Search

Your search keyword '"Bandur, Victor"' showing total 18 results
Start Over Author "Bandur, Victor" Publication Year Range Last 10 years

Refine your results

more »

more »

18 results on '"Bandur, Victor"'

1. Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles

Author

Ramdhan, Stefan, Trandinh, Winnie, Arulmohan, Sathurshan, Hu, Xiayong, Deevy, Spencer, Bandur, Victor, Pantelic, Vera, Lawford, Mark, and Wassyng, Alan

Subjects
Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control
Abstract

The challenges in implementing SAE Level 4/5 autonomous vehicles are manifold, with intersection navigation being a pervasive one. We analyze a novel road topology invented by a co-author of this paper, Xiayong Hu. The topology eliminates the need for traditional traffic control and cross-traffic at intersections, potentially improving the safety of autonomous driving systems. The topology, herein called the Zonal Road Topology, consists of unidirectional loops of road with traffic flowing either clockwise or counter-clockwise. Adjacent loops are directionally aligned with one another, allowing vehicles to transfer from one loop to another through a simple lane change. To evaluate the Zonal Road Topology, a one km2 pilot-track near Changshu, China is currently being set aside for testing. In parallel, traffic simulations are being performed. To this end, we conduct a simulation-based comparison between the Zonal Road Topology and a traditional road topology for a generic Electric Vehicle (EV) using the Simulation for Urban MObility (SUMO) platform and MATLAB/Simulink. We analyze the topologies in terms of their travel efficiency, safety, energy usage, and capacity. Drive time, number of halts, progress rate, and other metrics are analyzed across varied traffic levels to investigate the advantages and disadvantages of the Zonal Road Topology. Our results indicate that vehicles on the Zonal Road Topology have a lower, more consistent drive time with greater traffic throughput, while using less energy on average. These results become more prominent at higher traffic densities., Comment: 8 pages, 10 figures, Submitted to IV2024

Published
2024

2. Assurance Cases for Timing Properties of Automotive TSN Networks

Author

Kapinski, Ryan, Pantelic, Vera, Bandur, Victor, Wassyng, Alan, Lawford, Mark, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Guiochet, Jérémie, editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, Roy, Matthieu, editor, and Bitsch, Friedemann, editor

Published
2023
Full Text
View/download PDF

3. Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities

Author

Bandur, Victor, Lawford, Mark, Mosser, Sébastien, Paige, Richard F., Pantelic, Vera, Wassyng, Alan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Guiochet, Jérémie, editor, Tonetta, Stefano, editor, Schoitsch, Erwin, editor, Roy, Matthieu, editor, and Bitsch, Friedemann, editor

Published
2023
Full Text
View/download PDF

4. SLIME: State Learning in the Middle of Everything for Tool-Assisted Vulnerability Detection

Author

Lesiuta, Eric, Bandur, Victor, Lawford, Mark, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Katsikas, Sokratis, editor, Cuppens, Frédéric, editor, Kalloniatis, Christos, editor, Mylopoulos, John, editor, Pallas, Frank, editor, Pohle, Jörg, editor, Sasse, M. Angela, editor, Abie, Habtamu, editor, Ranise, Silvio, editor, Verderame, Luca, editor, Cambiaso, Enrico, editor, Maestre Vidal, Jorge, editor, Sotelo Monge, Marco Antonio, editor, Albanese, Massimiliano, editor, Katt, Basel, editor, Pirbhulal, Sandeep, editor, and Shukla, Ankur, editor

Published
2023
Full Text
View/download PDF

9. Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic

Author

Bandur, Victor, McDermid, John, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Koornneef, Floor, editor, and van Gulijk, Coen, editor

Published
2015
Full Text
View/download PDF

16. INTO-CPS tool chain user manual

Author

Bandur, Victor, Larsen, Peter Gorm, Lausdahl, Kenneth, Thule, Casper, Gamble, Carl, Payne, Richard, Pop, Adrian, Brosse, Etienne, Brauer, Jörg, Lapschies, Florian, Groothuis, Marcel, Bokhove, Tom, Kleijn, Christian, and Couto, Luis Diogo

Published
2017

17. Code-generating VDM for Embedded Devices

Author

Bandur, Victor, Tran-Jørgensen, Peter Würtz Vinther, Hasanagic, Miran, Lausdahl, Kenneth Guldbrandt, Fitzgerald, J, Tran-Jørgensen, P.W.V., and Oda, T.

Published
2017

Catalog

Books, media, physical & digital resources
See catalog results