The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Reachability analysis of linear hybrid automata (LHA) is an important problem. Classical model checking (CMC) technique is not scalable and not guaranteed to terminate. On the other hand, bounded model checking (BMC) is more cost-effective to conduct but can not guarantee the safety beyond the bound. In this paper, we seek to bridge the gap between BMC and CMC for reachability analysis of LHA. During...
Based on the further research of STCA and F-STCA cellular automata traffic flow model, combined with the actual situation of the symmetric same direction two-lane traffic flow, improved the risk description of vehicle lane-changing in the driving, a more perfect distance constraint rule and cellular automata traffic flow model are proposed, which are more in line with the actual situation of symmetric...
Information exchange for the purpose of creating situational awareness is the backbone of distributed systems that rely on communication. For example, connected vehicle safety systems rely on exchange of information between vehicles to allow each vehicle to create a real time map of its surrounding cars. These systems work by sampling the state of a physical process (vehicle trajectory) and communicating...
In this paper, the problem of collision avoidance between two vehicles is considered, in which one vehicle is autonomous and the other one is human-driven. This problem arises in cooperative active safety systems at traffic intersections, mergings, and roundabouts, in which some vehicles are equipped with on-board communication and automatic control, while others are not capable of communicating and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.