Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed-Reference-Cited by-同舟云学术

Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed

Author:

Rogersten Robert¹,Xu Huan²,Ozay Necmiye³,Topcu Ufuk⁴,Murray Richard M.⁵

Affiliation:

1. School of Electrical Engineering (EES), KTH Royal Institute of Technology, 100 44 Stockholm, Sweden

2. Aerospace Engineering and Institute for Systems Research, University of Maryland, College Park, Maryland 20742

3. Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, Michigan 48109

4. Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, Pennsylvania 19104

5. Control and Dynamical Systems, California Institute of Technology, Pasadena, California 91125

Publisher

American Institute of Aeronautics and Astronautics (AIAA)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Aerospace Engineering

Link

Reference22 articles.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Environmentally-Friendly GR(1) Synthesis;Tools and Algorithms for the Construction and Analysis of Systems;2019