Guest editorial: Recent advances in control and verification for hybrid systems

Weiming Xiang; Guisheng Zhai; Simone Baldi; Chengzhi Yuan; Taylor T. Johnson

doi:10.1049/iet-cta.2019.0394

Guest editorial: Recent advances in control and verification for hybrid systems

Weiming Xiang, Guisheng Zhai, Simone Baldi, Chengzhi Yuan, Taylor T. Johnson

Computer Science

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Pages (from-to)	1219-1221
Number of pages	3
Journal	IET Control Theory and Applications
Volume	13
Issue number	9
DOIs	https://doi.org/10.1049/iet-cta.2019.0394
State	Published - 2019

ASJC Scopus subject areas

Control and Systems Engineering
Human-Computer Interaction
Computer Science Applications
Control and Optimization
Electrical and Electronic Engineering

Access to Document

10.1049/iet-cta.2019.0394

Cite this

@article{92d6f649b9724026bfed3265c7917edc,

title = "Guest editorial: Recent advances in control and verification for hybrid systems",

author = "Weiming Xiang and Guisheng Zhai and Simone Baldi and Chengzhi Yuan and Johnson, {Taylor T.}",

year = "2019",

doi = "10.1049/iet-cta.2019.0394",

language = "English (US)",

volume = "13",

pages = "1219--1221",

journal = "IET Control Theory and Applications",

issn = "1751-8644",

publisher = "Institution of Engineering and Technology",

number = "9",

}

TY - JOUR

T1 - Guest editorial

T2 - Recent advances in control and verification for hybrid systems

AU - Xiang, Weiming

AU - Zhai, Guisheng

AU - Baldi, Simone

AU - Yuan, Chengzhi

AU - Johnson, Taylor T.

PY - 2019

Y1 - 2019

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

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

U2 - 10.1049/iet-cta.2019.0394

DO - 10.1049/iet-cta.2019.0394

M3 - Editorial

AN - SCOPUS:85067025884

SN - 1751-8644

VL - 13

SP - 1219

EP - 1221

JO - IET Control Theory and Applications

JF - IET Control Theory and Applications

IS - 9

ER -

Guest editorial: Recent advances in control and verification for hybrid systems

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this