Correctness of Vehicle Control Systems: A Case Study

Correctness of Vehicle Control Systems: A Case Study

Bibliographic Details
Main Author:	Weinberg, Henri B.
Other Authors:	Lynch, Nancy A.
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149823

Similar Items

Correctness of vehicle control systems a case study
by: Weinberg, Henri B. (Henri Bernard)
Published: (2008)

Synthesis of provably correct controllers for autonomous vehicles in urban environments
by: Wongpiromsarn, Tichakorn, et al.
Published: (2013)

Correcting for batch effects in case-control microbiome studies
by: Gibbons, Sean Michael, et al.
Published: (2018)

Correctness of Communications Protocols, A case Study
by: Søgaard-Andersen, Jørgen, et al.
Published: (2023)

Correction: Risk Factors of Streptococcus suis Infection in Vietnam. A Case-Control Study.
by: Ho, D, et al.
Published: (2011)

The development of a simple control system to correct backlash
by: Lustrino, Michelle E. (Michelle Elizabeth)
Published: (2010)

The Singapore government's corrective communication: a case study of its COVID-19 falsehood corrections
by: Nadan, Enoch
Published: (2022)

Correcting for Interference in Experiments: A Case Study at Douyin
by: Farias, Vivek, et al.
Published: (2023)

Design of an attitude correction system for a radio control helicopter
by: Wong, Choon Yue.
Published: (2010)

Optimal control of vehicle systems
by: Perantoni, G
Published: (2013)

Proving Correctness of a Controller Algorithm for the RAID Level 5 System
by: Vazirir, Mandana, et al.
Published: (2023)

Proving correctness of a controller algorithm for the RAID Level 5 system
by: Vaziri-Farahani, Mandana
Published: (2005)

The heavy vehicle study: a case-control study investigating risk factors for crash in long distance heavy vehicle drivers in Australia
by: Stevenson, M, et al.
Published: (2010)

Provably Correct Systems
by: He, J, et al.
Published: (1994)

Brake control system for motorist vehicle
by: Muhamad Nor, Arif
Published: (2007)

Development of embedded control systems for vehicle
by: Gupta, Naveen Kumar
Published: (2019)

Integrated in-vehicle control and multimedia system for an experimental electric vehicle (EV)
by: Sharma Alex
Published: (2014)

A Case Study of Teachers' Corrective Feedback: Do We Do It Right
by: Sabariah Abd Rahim, et al.
Published: (2020)

EFL Teacher Perceptions of Error Correction in Grammar Teaching: A Case Study
by: Iftikhar, Ahmad, et al.
Published: (2015)

The Backseat Control Architecture for Autonomous Robotic Vehicles: A Case Study with the Iver2 AUV
by: Brown, Scott R., et al.
Published: (2010)

The design of a regenerative control system for electric vehicles
by: Brackett, W. H
Published: (2006)

Model-Based operational analysis for complex systems - A case study for electric vehicles
by: Doufene, Abdelkrim, et al.
Published: (2017)

Development of control system of automated guided vehicle
by: Abu Harfiz, Hassan
Published: (2009)

Fuzzy control on vehicle active suspension system
by: Muhamad Nazmi, Ahmad Nazari
Published: (2010)

Control system development of an autonomous surface vehicle
by: Chia, Jonathan Mien Hong
Published: (2014)

Development of propulsion control system for surface vehicle
by: Tripathi, Avi
Published: (2022)

Control system and structure of an unmanned aerial vehicle
by: Phua, Jian Ming
Published: (2017)

Posture and gait correction system
by: Chua, Jia Ren
Published: (2021)

Effectiveness of electric vehicles vs. vehicle technologies : a case study in environmental transportation policy
by: Sgoutas, Konstantinos
Published: (2009)

Path following control system for a small autonomous vehicle
by: Midha, Raj Chander, 1977-
Published: (2014)

Leveraging user-based innovation in vehicle-to-X and vehicle-to-grid adoption: a Nordic case study
by: Noel, L, et al.
Published: (2020)

A numerical simulation of vehicle dynamics behavior for a four-wheel steering vehicle with the passive control system
by: Maoqi, Li, et al.
Published: (2022)

Development of planning and control systems for autonomous surface vehicle
by: Teo, James
Published: (2023)

Vision-based autonomous vehicle driving control system
by: Isa, Khalid
Published: (2005)

Modeling And Control Of Lane Keeping System For Autonomous Vehicle
by: Ahmed, Sharmin
Published: (2016)

Two-vehicle look-ahead convoy control systems
by: Sudin, Shahdan, et al.
Published: (2004)

Development of attitude control system for hybrid airship vehicle
by: Malek, Azizi, et al.
Published: (2018)

Vision-Based Autonomous Vehicle Driving Control System
by: Isa, Khalid
Published: (2005)

Development of control system for automated guided vehicle (AGV)
by: Syed Mohd Safwan, Sayed Md Saifuddin
Published: (2009)

Vehicle clamping and alternative parking management and control systems
by: Mohammed, Mokhaled Mustafa, et al.
Published: (2011)