{"entities":{"Q1383074":{"pageid":1393814,"ns":120,"title":"Item:Q1383074","lastrevid":70295850,"modified":"2026-04-13T13:48:58Z","type":"item","id":"Q1383074","labels":{"en":{"language":"en","value":"A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1138407"}},"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":"Q1383074$1C431AE2-AED6-4D91-BB9D-885C2F88226B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"578b882a2d2753e3c9e9892236c9f77b60b50cf6","datavalue":{"value":{"text":"A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1383074$F6779369-489A-4F06-8D2A-4183EF8C71C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0620bed57c13492bb96989f3dc962b5984d82d7","datavalue":{"value":"0895.90107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$CD5B9766-2780-40D2-AF95-EC12281D0816","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3026026abcbb0f434de124e6cc9c861117094d6f","datavalue":{"value":"10.1023/A:1018921310489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$16FD6272-980D-4FFB-8643-28AB38880B41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832c3fe759f6a59a4a9c8bc19d85afd4359b0d43","datavalue":{"value":{"entity-type":"item","numeric-id":991820,"id":"Q991820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383074$43CAB0CF-51DE-4878-9439-E34A475EF824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"117949a9dd334ec2cf8a78820bc3307297ce322a","datavalue":{"value":{"entity-type":"item","numeric-id":1383073,"id":"Q1383073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383074$697ADED1-CB87-4428-B614-AD63B45EB1FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383074$D1EABA44-9908-4BDF-8DD8-070DA953C888","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4de95bc96b4e2e5082861c521f5e9db542e1cc66","datavalue":{"value":{"time":"+1998-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1383074$F984D07C-2754-44B8-B4C8-005EF5E1086B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e213338db24b8f359e8c3fca9e6e9ae655d7ca","datavalue":{"value":"90B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$A20CA93C-F9F0-452B-BE84-41797BEC1663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"418d4d19aa7c87e33d52e580c9c108a1bc2de096","datavalue":{"value":"90C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$6BDF9CD3-FB39-486B-8DB8-7E242917EF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$D113EFF6-1907-4630-97F2-25CD4D6D6FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$45978B2F-875B-4CDB-918E-4D5468773090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f4ce24ea798cb24d40f7f7b071db8f0491546ad5","datavalue":{"value":"93A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$882DA3B5-8E77-406A-A4F4-CB4010474D80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"523efcd25e548b1bfc13d9c51ba80858fa77606f","datavalue":{"value":"1138407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$F9FE78F3-A310-408F-BB97-6BD6FF58B974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e24dd10084d8e63953f26fdd76d3c2688a518b","datavalue":{"value":"robot cell","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383074$7D819B5A-3D33-4A80-82E1-852056EF1095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46494a8bc783c997586a70799da1b3679c773771","datavalue":{"value":"supervisory control","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383074$5423ED14-0489-4B65-BE2C-7764F6E63E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2ba931b704a402e703caedacd5028eb35b14d5","datavalue":{"value":"task planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383074$E6F6C9D6-F5FD-4141-BC9D-3E74C4E3347A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383074$9849DE60-D384-4BA2-BD11-67644015460B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383074$7600A3EF-408D-44C4-8C80-310CF44B701A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f49f8ef694b5347fb8d72ba5805b53ed3f9da98a","datavalue":{"value":"semi-Makov decision model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1383074$7280104F-09F9-467C-9EA2-E6EC86F01FF4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1383074$957F9F66-ACF6-4BD8-A17D-F1BBEFECD45B","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":"Q1383074$A67D341C-A114-4B86-B322-9C76B7F37440","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bfc60379aeeca389b65764ff132a6e6ddfa4feb","datavalue":{"value":"https://doi.org/10.1023/a:1018921310489","type":"string"},"datatype":"url"},"type":"statement","id":"Q1383074$D0E43303-E1F5-44CC-A2B0-DE40D0C8FABE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67a26ceccb5f48de0f6beb9132060cc6226f2bb1","datavalue":{"value":"W3007567420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1383074$B193D89E-2822-410B-AFBE-FEB57CD36327","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24ac9fcec73d92fed4411d0521c862e7d6c28df","datavalue":{"value":{"entity-type":"item","numeric-id":3047033,"id":"Q3047033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290a99e80409bd1678c03e26aebf5da1d83ba8db","datavalue":{"value":{"amount":"+0.7219898104667664","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":"Q1383074$F6862361-75FC-4098-B3E0-B976E0CA4869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0aae0bebdab514112303d1656e935d62ce47fd7","datavalue":{"value":{"entity-type":"item","numeric-id":4673552,"id":"Q4673552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e240b5bf85823209263842c03884c7972df8665f","datavalue":{"value":{"amount":"+0.716701090335846","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":"Q1383074$B41A7171-4B70-4A79-9BA9-4AE70829844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0aa9daf2a3af83493a96fb72a34800c5a4f6bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5496921,"id":"Q5496921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcdf872034f9c07423d3e8b2d00f8839593878f9","datavalue":{"value":{"amount":"+0.7130733728408813","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":"Q1383074$2629F3C4-C10D-4CD5-87FE-47F4F90AA6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0143d9bf00742f8487e0db47c1ab1feb5a925b9b","datavalue":{"value":{"entity-type":"item","numeric-id":3152833,"id":"Q3152833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9912dacc6bbbb5a63f9246f659662aa1c5403b0","datavalue":{"value":{"amount":"+0.7127043604850769","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":"Q1383074$B9D2D5A9-36C0-4942-A788-027CA056CA38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A two-phase approach for design of supervisory controllers for robot cells: Model checking and Markov decision models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_two-phase_approach_for_design_of_supervisory_controllers_for_robot_cells:_Model_checking_and_Markov_decision_models"}}}}}