Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
720034 | IFAC Proceedings Volumes | 2010 | 6 Pages |
Abstract
This contribution presents an approach to improve traffic quality by means of automation of vehicles that use car2car-communication. Methods for the formal derivation of decision-making while considering communication constraints and environmental boundary conditions are presented. Here Petrinets are used for behavioral modeling and formal derivation of control-structures, while at the implementation the decision-making is combined with consensus-algorithms which ensure formation convergence at latency and changing communication topology.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics