Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles

Hong Liu; Ruofa Cheng; Tianyu Yang; Jing Wang

doi:10.1109/IECON.2017.8216540

Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles

Hong Liu, Ruofa Cheng, Tianyu Yang, Jing Wang

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	3197-3202
Number of pages	6
ISBN (Electronic)	9781538611272
DOIs	https://doi.org/10.1109/IECON.2017.8216540
State	Published - Dec 15 2017
Externally published	Yes
Event	43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 - Beijing, China Duration: Oct 29 2017 → Nov 1 2017

Publication series

Name	Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society
Volume	2017-January

Conference

Conference	43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017
Country/Territory	China
City	Beijing
Period	10/29/17 → 11/1/17

ASJC Scopus Subject Areas

Industrial and Manufacturing Engineering
Control and Optimization
Energy Engineering and Power Technology
Electrical and Electronic Engineering

Keywords

Computer Aided Modeling
Fault Tolerant Design
Hardware-Software Co-design
Model-Checking
Platform Specific Model
UPPAAL

Access to Document

10.1109/IECON.2017.8216540

Cite this

Liu, H., Cheng, R., Yang, T., & Wang, J. (2017). Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles. In Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society (pp. 3197-3202). (Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society; Vol. 2017-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/IECON.2017.8216540

Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles. / Liu, Hong; Cheng, Ruofa; Yang, Tianyu et al.
Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers Inc., 2017. p. 3197-3202 (Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society; Vol. 2017-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Liu, H, Cheng, R, Yang, T & Wang, J 2017, Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles. in Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, vol. 2017-January, Institute of Electrical and Electronics Engineers Inc., pp. 3197-3202, 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017, Beijing, China, 10/29/17. https://doi.org/10.1109/IECON.2017.8216540

Liu H, Cheng R, Yang T, Wang J. Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles. In Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers Inc. 2017. p. 3197-3202. (Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society). doi: 10.1109/IECON.2017.8216540

Liu, Hong ; Cheng, Ruofa ; Yang, Tianyu et al. / Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles. Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 3197-3202 (Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society).

@inproceedings{2eeffe9b48b44b1cb38813ec4f742717,

title = "Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles",

keywords = "Computer Aided Modeling, Fault Tolerant Design, Hardware-Software Co-design, Model-Checking, Platform Specific Model, UPPAAL",

author = "Hong Liu and Ruofa Cheng and Tianyu Yang and Jing Wang",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017 ; Conference date: 29-10-2017 Through 01-11-2017",

year = "2017",

month = dec,

day = "15",

doi = "10.1109/IECON.2017.8216540",

language = "English",

series = "Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "3197--3202",

booktitle = "Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society",

}

TY - GEN

T1 - Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles

AU - Liu, Hong

AU - Cheng, Ruofa

AU - Yang, Tianyu

AU - Wang, Jing

PY - 2017/12/15

Y1 - 2017/12/15

KW - Computer Aided Modeling

KW - Fault Tolerant Design

KW - Hardware-Software Co-design

KW - Model-Checking

KW - Platform Specific Model

KW - UPPAAL

UR - http://www.scopus.com/inward/record.url?scp=85046695817&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85046695817&partnerID=8YFLogxK

U2 - 10.1109/IECON.2017.8216540

DO - 10.1109/IECON.2017.8216540

M3 - Conference contribution

AN - SCOPUS:85046695817

T3 - Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society

SP - 3197

EP - 3202

BT - Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017

Y2 - 29 October 2017 through 1 November 2017

ER -

Modeling and verifying the communication and control of a fleet of collaborative autonomous underwater vehicles

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this