Concepedia

Siyuan Liu

SL

6

Publications

212

Citations

6

H-Index

2016

Active since

Affiliations

Technical University of Munich(Current)

University of Colorado Boulder

Ludwig-Maximilians-Universität München

Shanghai Jiao Tong University

LMU Klinikum

Siyuan Liu is an author at Technical University of Munich specializing in systems engineering, engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringFormal VerificationComputer ScienceInformation SecurityDesignKinematicsProbabilityVerificationData Security

Publications per year

2016–2022

6

Publications

6

On Approximate Opacity of Cyber-Physical Systems

Xiang Yin, Majid Zamani, Siyuan Liu · IEEE Transactions on Automatic Control · 2020 · 66 citations

Reachability Analysis, Engineering, Survivable System +15

Secure-by-construction synthesis of cyber-physical systems

Siyuan Liu, Ashutosh Trivedi, Xiang Yin et al. · Annual Reviews in Control · 2022 · 48 citations

Engineering, Information Security, Design +7

Lateral entry guidance with no-fly zone constraint

Zixuan Liang, Siyuan Liu, Qingdong Li et al. · Aerospace Science and Technology · 2016 · 44 citations

Trajectory Planning, Engineering, Aerospace Engineering +6

Verification of Approximate Opacity via Barrier Certificates

Siyuan Liu, Majid Zamani · IEEE Control Systems Letters · 2020 · 24 citations · Full text

On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems

Siyuan Liu, Xiang Yin, Majid Zamani · 2020 · 19 citations

Stochastic Simulation, Stochastic Hybrid System, Engineering +14

Rows per page

1–5 of 6