From Control Systems to Control Software: Integrating lyapunov-theoretic proofs within code

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

46 Scopus citations

Access to Document

@article{f0a0bb34cdd147739aa57ec0a25e6212,

title = "From Control Systems to Control Software: Integrating lyapunov-theoretic proofs within code",

author = "Eric Feron",

note = "Generated from Scopus record by KAUST IRTS on 2021-02-18",

year = "2010",

month = jan,

day = "1",

doi = "10.1109/MCS.2010.938196",

language = "English (US)",

volume = "30",

pages = "50--71",

journal = "IEEE Control Systems",

issn = "1066-033X",

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

number = "6",

}

TY - JOUR

T1 - From Control Systems to Control Software: Integrating lyapunov-theoretic proofs within code

AU - Feron, Eric

N1 - Generated from Scopus record by KAUST IRTS on 2021-02-18

PY - 2010/1/1

Y1 - 2010/1/1

UR - https://ieeexplore.ieee.org/document/5643477/

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

U2 - 10.1109/MCS.2010.938196

DO - 10.1109/MCS.2010.938196

M3 - Article

SN - 1066-033X

VL - 30

SP - 50

EP - 71

JO - IEEE Control Systems

JF - IEEE Control Systems

IS - 6

ER -