Tabuada, Paulo.
Verification and Control of Hybrid Systems A Symbolic Approach / [electronic resource] : by Paulo Tabuada. - Boston, MA : Springer US, 2009. - digital.
9781441902245
10.1007/978-1-4419-0224-5 doi
Mathematics.
Computer science.
Systems theory.
Mathematics.
Mathematical Logic and Formal Languages.
Models and Principles.
Control.
Systems Theory, Control.
Verification and Control of Hybrid Systems A Symbolic Approach / [electronic resource] : by Paulo Tabuada. - Boston, MA : Springer US, 2009. - digital.
9781441902245
10.1007/978-1-4419-0224-5 doi
Mathematics.
Computer science.
Systems theory.
Mathematics.
Mathematical Logic and Formal Languages.
Models and Principles.
Control.
Systems Theory, Control.