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

Research output: Contribution to journalArticlepeer-review

41 Scopus citations
Original languageEnglish (US)
Pages (from-to)50-71
Number of pages22
JournalIEEE Control Systems
Volume30
Issue number6
DOIs
StatePublished - Jan 1 2010

Cite this