Verification And Control Of Hybrid Systems
DOWNLOAD HERE
Part I Basic concepts: Systems. Verification problems. Control problems.- Part II Finite systems: Exact system relationships. Verification. Control.- Part III Infinite Systems: Exact symbolic models: Exact symbolic models for verification. Exact symbolic models for control.- Part IV Infinite Systems: Approximate symbolic models: Approximate system relationships. Approximate symbolic models for verification. Approximate symbolic models for control.- Appendix. References.- Index. EAN/ISBN : 9781441902245 Publisher(s): Springer, Berlin, Springer US Discussed keywords: Hybridsystem Format: ePub/PDF Author(s): Tabuada, Paulo
DOWNLOAD HERE
Similar manuals: