{"entities":{"Q1284358":{"pageid":1295108,"ns":120,"title":"Item:Q1284358","lastrevid":67099785,"modified":"2026-04-12T15:15:54Z","type":"item","id":"Q1284358","labels":{"en":{"language":"en","value":"Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1278174"}},"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":"Q1284358$BAAA790F-8CC3-4212-B088-A40B23CA0A90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d3568917b6d7d7028ab7e6da18b4d8495eff9a2","datavalue":{"value":{"text":"Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284358$5365BD2C-124A-40B2-8AF5-C04675F20C87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d0eea7c122c8e16763ef1f2f808323b63c3037d","datavalue":{"value":"0911.00057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284358$EE959173-8210-4D32-B534-69DD63512DF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1eefcf8f30bf015495df81c2d05a4471dd72563","datavalue":{"value":"10.1007/3-540-48983-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284358$6AC6A49D-AE3A-4812-B06F-3C52DEB0E261","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284358$7CE2EBC5-AC40-40A2-ADE5-339EC74FBD1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a39d0001a0a462b35d05984dd0de2bdea466d094","datavalue":{"value":{"time":"+1999-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284358$0D5FCA96-BEA1-4D55-88A7-47FAF7A3C7FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e23f8c6b29e81ed9ba6a5ae9bf83031554b2f986","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Alur, Rajeev; Kannan, Sampath; La Torre, Salvatore}, Polyhedral flows in hybrid automata, 5-18 [Zbl 0924.93016]  \\textit{Asarin, Eugene; Maler, Oded}, As soon as possible: Time optimal control for timed automata, 19-30 [Zbl 0952.93064]  \\textit{Bemporad, Alberto; Morari, Manfred}, Verification of hybrid systems via mathematical programming, 31-45 [Zbl 0954.93019]  \\textit{Bournez, Olivier; Maler, Oded; Pnueli, Amir}, Orthogonal polyhedra: Representation and computation, 46-60 [Zbl 0947.68154]  \\textit{Broucke, Mireille}, A geometric approach to bisimulation and verification of hybrid systems, 61-75 [Zbl 0928.93024]  \\textit{Chutinan, Alongkrit; Krogh, Bruce H.}, Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations, 76-90 [Zbl 0954.93020]  \\textit{Egerstedt, M.; Koo, T. J.; Hoffmann, F.; Sastry, S.}, Path planning and flight controller scheduling for an autonomous helicopter, 91-102 [Zbl 0925.93745]  \\textit{Greenstreet, Mark R.; Mitchell, Ian}, Reachability analysis using polygonal projections, 103-116 [Zbl 1038.93509]  \\textit{Hespanha, Jo\u00e3o P.; Morse, A. Stephen}, Scale-independent hysteresis switching, 117-122 [Zbl 0991.93059]  \\textit{Imura, Jun-ichi; van der Schaft, Arjan}, Well-posedness of a class of piecewise linear systems with no jumps, 123-136 [Zbl 0928.93013]  \\textit{Lafferriere, Gerardo; Pappas, George J.; Yovine, Sergio}, A new class of decidable hybrid systems, 137-151 [Zbl 0926.93036]  \\textit{Lin, Man}, Synthesis of control software in a layered architecture from hybrid automata, 152-164 [Zbl 0954.93024]  \\textit{Mosterman, Pieter J.}, An overview of hybrid simulation phenomena and their support by simulation packages, 165-177 [Zbl 0925.93118]  \\textit{Mosterman, Pieter J.; Biswas, Gautam}, Building hybrid observers for complex dynamic systems using model abstractions, 178-192 [Zbl 0925.93098]  \\textit{Nadjm-Tehrani, Simin}, Integration of analog and discrete synchronous design, 193-208 [Zbl 0925.93272]  \\textit{Preu\u00dfig, J.; Stursberg, O.; Kowalewski, S.}, Reachability analysis of a class of switched continuous systems by integrating rectangular approximation and rectangular analysis, 209-222 [Zbl 0925.93117]  \\textit{R\u00f6nkk\u00f6, Mauno; Sere, Kaisa}, Refinement and continuous behaviour, 223-237 [Zbl 0930.68030]  \\textit{Tomlin, Claire; Lygeros, John; Sastry, Shankar}, Computing controllers for nonlinear hybrid systems, 238-255 [Zbl 0951.93012]  \\textit{Yfoulis, C. A.; Muir, A.; Wellstead, P. E.; Pettit, N. B. O. L.}, Stabilization of orthogonal piecewise linear systems: robustness analysis and design, 256-270 [Zbl 0924.93040]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284358$79870488-82AE-45D4-BCBD-7C8970784026","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284358$0F4B0ECA-38B7-4A6B-904F-8EEC511F158B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa976a66ac800483dcca0b20912799dee2fb9edc","datavalue":{"value":"93-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284358$A590AE78-D44E-423D-B58E-6D31277A4A70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05d52165cb3b3d41a4cb8a29958f7bd6d434b8b0","datavalue":{"value":"1278174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284358$E3D5BA88-1C71-427E-88AA-2FDF99AD2D52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1252c0666a1124472b5c21bc81f4dbfcfbfa5c31","datavalue":{"value":"Berg en Dal (Netherlands)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284358$C366C3AD-85B1-49BE-B327-DE33E54E961A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284358$618E660F-8D07-4A3A-84AF-9B7A0203185A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284358$EC6138F0-7F3C-4D14-95AD-BB4E42CDE946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15edc2e6badf5ac3b92574b09b9d5bdd944bb35d","datavalue":{"value":"HSCC '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284358$43C7DD77-4F7E-4B2A-B3D5-F6A0C24AB1E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c330f2a58efc85bc92438e4c9601644a796093e","datavalue":{"value":"Hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284358$BEE9C737-3BD9-4AD4-AFE3-14E4FAD5890C","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":"Q1284358$B0669923-6585-402F-BE26-05A3AC236911","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa6b72100eb0dbb57217c385029188437296f2eb","datavalue":{"value":"https://doi.org/10.1007/3-540-48983-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284358$02D0441A-2F05-4BBC-B22B-4512A0436BBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cc5a7df808e2ecf813774a4977639afa4c50f54","datavalue":{"value":"W197104890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284358$720BD525-DF8E-41DE-9840-E10D2ABD529E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid systems: computation and control. 2nd international workshop, HSCC '99. Berg en Dal, the Netherlands, March 29--31, 1999. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_systems:_computation_and_control._2nd_international_workshop,_HSCC_%2799._Berg_en_Dal,_the_Netherlands,_March_29--31,_1999._Proceedings"}}}}}