{"entities":{"Q702842":{"pageid":704691,"ns":120,"title":"Item:Q702842","lastrevid":63741873,"modified":"2026-04-11T15:14:30Z","type":"item","id":"Q702842","labels":{"en":{"language":"en","value":"Compositional abstractions of hybrid control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2129351"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702842$FEB8305C-C089-4A65-9A72-4A4DBDB39529","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77f29486dcc1f1a11ee9df9fbc65eb3cf00af1de","datavalue":{"value":{"text":"Compositional abstractions of hybrid control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q702842$B83D7C7B-D9BC-433E-B242-A253CABFE94A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2636a93f58cb6bb1219e886fbba1f89dbe8e2a34","datavalue":{"value":"1060.93070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$B2E8BD86-27E4-43CF-9B29-F5E3BDAB1833","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abe0c8ea18244cd7d12b210f8f27c777d7b977aa","datavalue":{"value":"10.1023/B:DISC.0000018571.14789.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$6564452A-CFCE-4064-AE5E-19A023B34319","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702842$1C2D8F09-CC92-4D1D-A07F-79D613913EFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702842$A37164C1-CC99-42B7-AC17-FD09392000F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90a3a6b51ce61dd6ffe2ca0150d5eb1344f5da74","datavalue":{"value":{"time":"+2005-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q702842$D8B744B0-F555-4FE1-A10F-EC6379C4A2E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"26433d8dfce0e012180bbd68709d9d868db25df4","datavalue":{"value":"The authors discuss the problem of computing abstraction for hybrid control systems. They propose the notion of abstraction based on the notions of simulation and bisimulation. These notions are presented in a general setting comprising discrete, continuous and hybrid control systems. Several important properties are proved in such general settings, which are directly applicable to hybrid systems. The authors also introduce a composition operator that allows them to construct large-scale, complex hybrid systems by interconnecting smaller hybrid systems. In addition, the authors show that this composition operator is compatible with abstraction and under certain conditions also with bisimulation. According to the authors' comments, several interesting directions for future research remain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q702842$E4B3C5F6-65A4-473C-8055-FF50C6B3058B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b0448205707005d1d2843aaf857a9c1c8382539","datavalue":{"value":{"entity-type":"item","numeric-id":426007,"id":"Q426007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702842$664DEE03-FB3A-48AA-8A40-BF83CCF9CE52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$0C5B5BEA-D977-4CBE-BDA8-5D78591137C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca254bac23212327076eb3d68dd584221b657960","datavalue":{"value":"93A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$FE912F05-061E-4976-AAF3-EB056CB8B3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$7B445D4D-B562-4C3B-B4C5-556CFBCED631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd87a0473bfa14f58600a7b373a6a1e6cb1f2980","datavalue":{"value":"93A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$CD873074-0436-415A-99D6-793C823A478C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75aa9109e833789fc283494d2d24aa45f760b3d8","datavalue":{"value":"2129351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$9859328D-C20B-4C43-81F8-F0B45DB82891","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0292d7ae2b8e3a14fbdf5d645725bd7a994ae5","datavalue":{"value":"abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q702842$78B4C6B4-9DD8-4E89-9A24-E843E6CC3900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q702842$965958ED-8423-4A7A-9783-2D5BDE79E6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abc3cc4aa3e0a606d457bdd042662047eb6ab2d9","datavalue":{"value":"hybrid control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q702842$ACE23CEC-4A78-462F-9D5E-1FAEB3717846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a11ccc09791e0bbcf5a25e152844a6d7a2022d4","datavalue":{"value":"large-scale systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q702842$115A97E3-E1AF-4CB6-955D-8F019291EBCF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c64573c56bc115586024022890e4673a7751ae34","datavalue":{"value":"Q57582096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$D5AB4CF0-0AB0-41C2-B716-170B0683A6BA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702842$57B5902C-54FE-4E20-8466-000B19975D6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32ca10c06f893a1a0def9831efb06d57b29d4894","datavalue":{"value":"https://doi.org/10.1023/b:disc.0000018571.14789.24","type":"string"},"datatype":"url"},"type":"statement","id":"Q702842$8DE31B6E-4B4E-4F15-9689-9D5C1B378CBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d46e963819c5608c842c7ce039b8ef7498121fff","datavalue":{"value":"W2125506596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702842$67BE9CE6-076C-4E46-B799-0A703563F374","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4bea6b928dcbce424f7af586b1dcaf7f269524","datavalue":{"value":{"entity-type":"item","numeric-id":4736608,"id":"Q4736608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3d2c55bc06643696c2a6516516e05a5f5f1150","datavalue":{"value":{"amount":"+0.917792022228241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702842$97617440-DFA9-45E9-B1CA-27467B1312EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c55c659843ce7ff47b51e76cd2886cac841d8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4561445,"id":"Q4561445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb12b89e12acc24929c7577a514f30fb0fffdd5","datavalue":{"value":{"amount":"+0.8815420866012573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702842$C425914A-DF8F-4946-BAC7-C451EFFDFB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf526ce1d9380790dd1bf506f9c4d85c60e90d5","datavalue":{"value":{"entity-type":"item","numeric-id":2475634,"id":"Q2475634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda52512ae3914fe90283dbfa1c5bced82732adf","datavalue":{"value":{"amount":"+0.8011046051979065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702842$C7F74235-A517-4E48-87EF-5531D67E85E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948e9451e26d912af2dbf270393bf725aa87dace","datavalue":{"value":{"entity-type":"item","numeric-id":2988917,"id":"Q2988917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4c428edea8f4bdadadf4f98758b6d6104fd35d","datavalue":{"value":{"amount":"+0.7828369140625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702842$CA3978D6-BC01-4950-BACF-7B4D3DF8A0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5613cf26274997354a4e6ff091ff423b20c4ad6f","datavalue":{"value":{"entity-type":"item","numeric-id":434462,"id":"Q434462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5c4e179a024160245533a12be932618c9e7f1b","datavalue":{"value":{"amount":"+0.7772485017776489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q702842$DDF2C569-1887-4982-9140-369EB2DA49F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional abstractions of hybrid control systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_abstractions_of_hybrid_control_systems"}}}}}