01529nam0 22003613i 450 NAP064675320251003044257.0978160198784620140911d2014 ||||0itac50 baengusz01i xxxe z01nHybrid dynamical systemsˆan ‰introduction to control and verificationHai Lin and Panos J. AntsaklisBoston [etc.]Now Publishers2014X, 177 p.24 cmPubblicato originariamente in: Foundations and trends in systems and control, vol. 1, n.1(2014)001NAP06467562001 Foundations and trends in systems and controlSistemi di controllo automaticiFIRCFIC002887E629.8INGEGNERIA DEI CONTROLLI AUTOMATICI14629.89Controllo automatico mediante elaboratore22Controllo automatico mediante computerSistemi di controllo automaticiControllo automatico mediante computerLin, HaiNAPV154686070771285Antsaklis, Panos J.PUVV06344407022984ITIT-00000020140911IT-BN0095 NAP 01SALA DING $NAP0646753Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 629.8 LIN.hy 0102 0000098585 VMA A4 1 v.Y 2014090920140911 01Hybrid dynamical systems1573845UNISANNIO