@inproceedings{araiza-illan_formal_2014,
	title = {Formal verification of control systems' properties with theorem proving},
	doi = {10/ghv34r},
	booktitle = {2014 {UKACC} {International} {Conference} on {Control} ({CONTROL})},
	publisher = {IEEE},
	author = {Araiza-Illan, Dejanira and Eder, Kerstin and Richards, Arthur},
	year = {2014},
	note = {tex.ids= araiza-illanFormalVerificationControl2014a, araiza-illanFormalVerificationControl2014b, araiza-illanFormalVerificationControl2014c, araiza-illanFormalVerificationControl2014d, araiza-illanFormalVerificationControl2014e, araiza-illanFormalVerificationControl2014f, araiza-illanFormalVerificationControl2014g, araiza-illan\_formal\_2014},
	keywords = {Cloning, Control systems, Formal Verification, Lyapunov methods, Lyapunov stability, Mathematical model, Numerical models, Simulink, Simulink model, Software packages, Stability analysis, Theorem Proving, Why3, Why3 tool, automatic verification, control engineering computing, control system, feedback gain, first-order discrete system, formal languages, formal logic, formal logic language, formal specification, formal verification, public domain software, robust control, robustness, theorem proving},
	pages = {244--249},
}

{"_id":"3CvRZhvxYiRQwsa4X","bibbaseid":"araizaillan-eder-richards-formalverificationofcontrolsystemspropertieswiththeoremproving-2014","author_short":["Araiza-Illan, D.","Eder, K.","Richards, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of control systems' properties with theorem proving","doi":"10/ghv34r","booktitle":"2014 UKACC International Conference on Control (CONTROL)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Araiza-Illan"],"firstnames":["Dejanira"],"suffixes":[]},{"propositions":[],"lastnames":["Eder"],"firstnames":["Kerstin"],"suffixes":[]},{"propositions":[],"lastnames":["Richards"],"firstnames":["Arthur"],"suffixes":[]}],"year":"2014","note":"tex.ids= araiza-illanFormalVerificationControl2014a, araiza-illanFormalVerificationControl2014b, araiza-illanFormalVerificationControl2014c, araiza-illanFormalVerificationControl2014d, araiza-illanFormalVerificationControl2014e, araiza-illanFormalVerificationControl2014f, araiza-illanFormalVerificationControl2014g, araiza-illan_formal_2014","keywords":"Cloning, Control systems, Formal Verification, Lyapunov methods, Lyapunov stability, Mathematical model, Numerical models, Simulink, Simulink model, Software packages, Stability analysis, Theorem Proving, Why3, Why3 tool, automatic verification, control engineering computing, control system, feedback gain, first-order discrete system, formal languages, formal logic, formal logic language, formal specification, formal verification, public domain software, robust control, robustness, theorem proving","pages":"244–249","bibtex":"@inproceedings{araiza-illan_formal_2014,\n\ttitle = {Formal verification of control systems' properties with theorem proving},\n\tdoi = {10/ghv34r},\n\tbooktitle = {2014 {UKACC} {International} {Conference} on {Control} ({CONTROL})},\n\tpublisher = {IEEE},\n\tauthor = {Araiza-Illan, Dejanira and Eder, Kerstin and Richards, Arthur},\n\tyear = {2014},\n\tnote = {tex.ids= araiza-illanFormalVerificationControl2014a, araiza-illanFormalVerificationControl2014b, araiza-illanFormalVerificationControl2014c, araiza-illanFormalVerificationControl2014d, araiza-illanFormalVerificationControl2014e, araiza-illanFormalVerificationControl2014f, araiza-illanFormalVerificationControl2014g, araiza-illan\\_formal\\_2014},\n\tkeywords = {Cloning, Control systems, Formal Verification, Lyapunov methods, Lyapunov stability, Mathematical model, Numerical models, Simulink, Simulink model, Software packages, Stability analysis, Theorem Proving, Why3, Why3 tool, automatic verification, control engineering computing, control system, feedback gain, first-order discrete system, formal languages, formal logic, formal logic language, formal specification, formal verification, public domain software, robust control, robustness, theorem proving},\n\tpages = {244--249},\n}\n\n","author_short":["Araiza-Illan, D.","Eder, K.","Richards, A."],"key":"araiza-illan_formal_2014","id":"araiza-illan_formal_2014","bibbaseid":"araizaillan-eder-richards-formalverificationofcontrolsystemspropertieswiththeoremproving-2014","role":"author","urls":{},"keyword":["Cloning","Control systems","Formal Verification","Lyapunov methods","Lyapunov stability","Mathematical model","Numerical models","Simulink","Simulink model","Software packages","Stability analysis","Theorem Proving","Why3","Why3 tool","automatic verification","control engineering computing","control system","feedback gain","first-order discrete system","formal languages","formal logic","formal logic language","formal specification","formal verification","public domain software","robust control","robustness","theorem proving"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["cloning","control systems","formal verification","lyapunov methods","lyapunov stability","mathematical model","numerical models","simulink","simulink model","software packages","stability analysis","theorem proving","why3","why3 tool","automatic verification","control engineering computing","control system","feedback gain","first-order discrete system","formal languages","formal logic","formal logic language","formal specification","formal verification","public domain software","robust control","robustness","theorem proving"],"search_terms":["formal","verification","control","systems","properties","theorem","proving","araiza-illan","eder","richards"],"title":"Formal verification of control systems' properties with theorem proving","year":2014}