{"entities":{"Q2336779":{"pageid":2347522,"ns":120,"title":"Item:Q2336779","lastrevid":73716870,"modified":"2026-04-14T17:01:22Z","type":"item","id":"Q2336779","labels":{"en":{"language":"en","value":"Approximate equivalence of the hybrid automata with Taylor theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131922"}},"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":"Q2336779$BDDA23FD-B107-4738-97BD-66EFB05DBCC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba75994303d88aa2cf46a12f5636f6536b589117","datavalue":{"value":{"text":"Approximate equivalence of the hybrid automata with Taylor theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2336779$A80F04A7-18C4-4841-9799-70DD32B70A7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ded97e93bfc5b8af98acb12c9d3baa008cbee4c","datavalue":{"value":"1442.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336779$F78E43DF-6963-4601-B12F-DC646D004F67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec55c3fe71207ec9ccea0bb37996ac0c91dfc39e","datavalue":{"value":"10.1155/2014/850789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336779$B6B2F9C6-69FB-410B-9B97-C3B556E2DCC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ccb57183c53f576df777f62c0ab9a5920ef22fb","datavalue":{"value":{"entity-type":"item","numeric-id":636561,"id":"Q636561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$96C6045E-21DA-442B-B616-A1826A2268A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$F8A01A4F-19F7-455F-BBA8-2C17BC3C142D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c296ea357295d0c63ac331467eba26817415823","datavalue":{"value":{"entity-type":"item","numeric-id":1667078,"id":"Q1667078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$4FC34474-B9A0-430B-BEA5-54F6D2C17504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4a5a54a621b19d48a1bdb28e9166ed9e18d050b","datavalue":{"value":{"entity-type":"item","numeric-id":1666121,"id":"Q1666121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$368F45B5-9F9D-4E18-A06D-3E352257F690","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb299feb2b87699ac8beef494c52fd2765eaf609","datavalue":{"value":{"entity-type":"item","numeric-id":118601,"id":"Q118601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$22F8E246-8324-49CD-A381-58F7E187541D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-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":"Q2336779$A8CA4FF8-3B4C-47A9-A159-7FDBFC4BF965","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"02c64c40df2db752ee4cded42b8962d390599df0","datavalue":{"value":"Summary: Hybrid automaton is a formal model for precisely describing a hybrid system in which the computational processes interact with the physical ones. The reachability analysis of the polynomial hybrid automaton is decidable, which makes the \\textit{Taylor} approximation of a hybrid automaton applicable and valuable. In this paper, we studied the simulation relation among the hybrid automaton and its Taylor approximation, as well as the approximate equivalence relation. We also proved that the Taylor approximation simulates its original hybrid automaton, and similar hybrid automata could be compared quantitatively, for example, the approximate equivalence we proposed in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2336779$2ADD4DDC-0AC7-40F1-AB71-700FC71E7678","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336779$7E78820B-EA51-42AE-B594-001C64F07641","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f21e3d909ff3eb42c03db0fdfc8ce2efb03c304","datavalue":{"value":"7131922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336779$CF7B8D2E-B70C-4D4B-BD49-765C1D6C8FFF","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":"Q2336779$893A0D66-AD86-4B3C-9F8B-9129F6551E49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8ab03fba80f7b57298d0f47a86bd86a8839bc30","datavalue":{"value":"https://doi.org/10.1155/2014/850789","type":"string"},"datatype":"url"},"type":"statement","id":"Q2336779$5EA37337-9C07-444E-BD52-32FB549AB0CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b112a8c83d3a7fe19d1ead3db4f4ab050e55f65","datavalue":{"value":"W2084084504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336779$95BDB4F0-7DE0-4C4C-91B4-95319BFFE1AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"671d2f97ade6685e4e51baa5f6b4ee5e47f9c190","datavalue":{"value":"Q59052808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2336779$D4B9127D-BEE6-4C22-B6B5-28C85994916E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a22bbb17a1d908da68ddcb9d039b922eb967467b","datavalue":{"value":{"entity-type":"item","numeric-id":2461793,"id":"Q2461793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$CDFF0F77-17F6-413A-A401-3424D63DBED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$890FDA4B-7ACE-4139-8DAA-30D8E3311A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$4B1157A3-077C-472D-931E-6B7404C4BE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c6b0b0d633ffd3389602629f6d5996e1458a245","datavalue":{"value":{"entity-type":"item","numeric-id":5434509,"id":"Q5434509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$1065614F-36CF-44F4-8EB7-331B412BE8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c563860f739c4bf7a3cb0074bffad21c50245f8f","datavalue":{"value":{"entity-type":"item","numeric-id":5899000,"id":"Q5899000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$B1FEEB53-70DB-4A40-B38F-B46FD9DA77FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$DAC26CE0-3290-4DAE-A0E5-12EDC2C67A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5294fd5fa8c5e8e3ea3572b6033ffb53b1e7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5899091,"id":"Q5899091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$C3A73FF8-FEAE-4B14-AEE7-55C38DB3AF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea80b11983e91dcbc841ec9b15c3a03b5dfa252","datavalue":{"value":{"entity-type":"item","numeric-id":4518893,"id":"Q4518893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$3C319D45-3AEF-42A6-B57E-08A0783365B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e527ff04798137f1308a51d1b41c2d86061995","datavalue":{"value":{"entity-type":"item","numeric-id":4736576,"id":"Q4736576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$0140EDEE-BA09-4107-9B8A-A411CC791136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8f2385293901adc75b35a7f659d489aad67c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4249565,"id":"Q4249565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$71732247-9ACB-4F65-B198-64A4615B51A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b22eac9e94ce5a12826f5062a16826688454ecb","datavalue":{"value":{"entity-type":"item","numeric-id":4537829,"id":"Q4537829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$36237DD2-0FF2-4572-9C0E-B2A2117303CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7093fdeaa3c6b98a6db2da66470cea5e44add10","datavalue":{"value":{"entity-type":"item","numeric-id":4945221,"id":"Q4945221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$19243AD4-3F7A-4432-80A2-65BA15A9AEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d770a871525146eb4607f50572fb10750bd12b6","datavalue":{"value":{"entity-type":"item","numeric-id":5714448,"id":"Q5714448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$61CA7299-4D59-42B5-B67F-9162380E76EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590fcf75b82e929c9b3de014b4991657740adee3","datavalue":{"value":{"entity-type":"item","numeric-id":2461793,"id":"Q2461793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fd212c6398f7f01afdf0803a136d4f47b8ef66","datavalue":{"value":{"amount":"+0.8838971257209778","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":"Q2336779$375130B3-AAEC-4948-8264-0FD2667AF2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5396eddefb0531e27240ee04b15e972d8f22dd6b","datavalue":{"value":{"entity-type":"item","numeric-id":5703940,"id":"Q5703940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed9b7e61506e66adb69f94e5c4ab24d69158a58","datavalue":{"value":{"amount":"+0.8820639252662659","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":"Q2336779$1F4484D5-2F00-4459-BC33-87508053A0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ebcd90dc6c1b282e4177cae65253d3a848b403","datavalue":{"value":{"entity-type":"item","numeric-id":939013,"id":"Q939013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fe411f269b57081e3a00106e996ffb147edab8b","datavalue":{"value":{"amount":"+0.8048009276390076","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":"Q2336779$E3C44DCC-D9F2-41C1-A8FD-C0A32DA8C56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d6c2b8e62bc65b1cdca450fedde5059f3a578f","datavalue":{"value":{"entity-type":"item","numeric-id":4246810,"id":"Q4246810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19790835094ed807d7a70f10b5aad226453c2a83","datavalue":{"value":{"amount":"+0.7622749209403992","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":"Q2336779$7004F791-1212-4F13-9590-D5D8E77E00D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4ea514c25f21c7938eba1975695d832f96a800","datavalue":{"value":{"entity-type":"item","numeric-id":969180,"id":"Q969180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b066a72bb17a81e60d1dde2f6593f1a89ffe1ea","datavalue":{"value":{"amount":"+0.7469309568405151","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":"Q2336779$0B285AA9-C908-4A03-A704-8553C52A0A94","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2336779$7E7B7F62-118A-499F-9FCA-66AC108435E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate equivalence of the hybrid automata with Taylor theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Approximate_equivalence_of_the_hybrid_automata_with_Taylor_theory"}}}}}