?url_ver=Z39.88-2004&rft_id=10.1109%2FACC.1999.782755&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Mignone%2C+Domenico&rft.aulast=Mignone&rft.aufirst=Domenico&rft.isbn=0-7803-4990-3+&rft.date=1999&rft.title=A+framework+for+control%2C+fault+detection%2C+state+estimation+and+verification+of+hybrid+systems&rft.btitle=American+Control+Conference&rft.genre=bookitem