Hybrid control in sea traffic management systems

• Authors:

• John-Morten Godhavn;Trygve Lauvdal;Olav Egeland

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
• Year:
• 1996