Supervisory control for collision avoidance in vehicular networks using discrete event abstractions

DOI10.1007/S10626-016-0228-3zbMath1356.93005OpenAlexW2388718307MaRDI QIDQ513177

Alessandro Colombo, Domitilla Del Vecchio, Eric Dallal, Stéphane Lafortune

Publication date: 3 March 2017

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1721.1/97405

zbMATH Keywords

supervisory controlvehicle controlabstractiondiscrete event systems

Mathematics Subject Classification ID

Applications of graph theory (05C90) Application models in control theory (93C95) Discrete-time control/observation systems (93C55) Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Related Items (3)

Path planning for robotic teams based on LTL specifications and Petri net models ⋮ Supervisory control for collision avoidance in vehicular networks using discrete event abstractions ⋮ Contention-resolving model predictive control for an intelligent intersection traffic model

Uses Software

• UMDES

Cites Work

• Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
• Decentralized supervisory control of discrete-event systems
• Least Restrictive Supervisors for Intersection Collision Avoidance: A Scheduling Approach
• Efficient algorithms for collision avoidance at intersections
• Computational Tools for the Safety Control of a Class of Piecewise Continuous Systems with Imperfect Information on a Partial Order
• Introduction to Discrete Event Systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
• Verification and Control of Hybrid Systems
• Supervisory Control of a Class of Discrete Event Processes
• Variable lookahead supervisory control with state information
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Computer Aided Verification

This page was built for publication: Supervisory control for collision avoidance in vehicular networks using discrete event abstractions