{"entities":{"Q1601522":{"pageid":1612262,"ns":120,"title":"Item:Q1601522","lastrevid":43237520,"modified":"2025-07-22T16:38:35Z","type":"item","id":"Q1601522","labels":{"en":{"language":"en","value":"Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1760798"}},"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":"Q1601522$FCF56D53-D3A9-44AF-B3E2-33ADD56080EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40f2258e056f8ebcb38402c11b7833cc841c2321","datavalue":{"value":{"text":"Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601522$C39D777A-4FB0-4857-B073-CA2B412061F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74db92df0148b8f977280c1652eb88bcc495c604","datavalue":{"value":"0989.00055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601522$2142190A-74C3-4DBC-A290-FFDA53EE9027","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":"Q1601522$E723599B-57F6-4E71-BBE2-426764FF48C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddff82729346b264a0019eb4dd3f75d58ed23866","datavalue":{"value":{"time":"+2002-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1601522$4101F452-9D17-4328-A205-C404484CE257","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"de3d42989a11d759dd1440f8d5cf9afa60697a97","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The 3rd workshop 2000 has been reviewed (see Zbl 0934.00029).  Indexed articles:  \\textit{Sharp, David}, Hybrid and embedded software technologies for production large-scale systems, 1-2 [Zbl 1044.68927]  \\textit{Ascher, Uri M.}, Numerical methods for differential systems with algebraic equality and inequality constraints, 3 [Zbl 1044.93512]  \\textit{Henzinger, Thomas A.}, From models to code: The missing link in embedded software, 5-6 [Zbl 1044.68563]  \\textit{Aaron, Eric; Ivan\u010di\u0107, Franjo; Metaxas, Dimitris}, Hybrid system models of navigation strategies for games and animations, 7-20 [Zbl 1044.68888]  \\textit{Altafini, Claudio; Speranzon, Alberto; Johansson, Karl Henrik}, Hybrid control of a truck and trailer vehicle, 21-34 [Zbl 1044.93533]  \\textit{Alur, Rajeev; Dang, Thao; Ivan\u010di\u0107, Franjo}, Reachability analysis of hybrid systems via predicate abstraction, 35-48 [Zbl 1044.93517]  \\textit{Asarin, Eugene; Schneider, Gerardo; Yovine, Sergio}, Towards computing phase portraits of polygonal differential inclusions, 49-61 [Zbl 1054.93030]  \\textit{Aubin, Jean-Pierre; Dordan, Olivier}, Dynamical qualitative analysis of evolutionary systems, 62-75 [Zbl 1059.49006]  \\textit{Balluchi, Andrea; Benvenuti, Luca; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto L.}, Design of observers for hybrid systems, 76-89 [Zbl 1050.93040]  \\textit{Bayen, Alexandre M.; Cr\u00fcck, Eva; Tomlin, Claire J.}, Guaranteed overapproximations of unsafe sets for continuous and hybrid systems: Solving the Hamilton-Jacobi equation using viability techniques, 90-104 [Zbl 1046.49026]  \\textit{Bemporad, Alberto; Borrelli, Francesco; Morari, Manfred}, On the optimal control law for linear discrete time hybrid systems, 105-119 [Zbl 1046.49019]  \\textit{Branicky, Michael S.; Chhatpar, Siddharth R.}, A computational framework for the verification and synthesis of force-guided robotic assembly strategies, 120-133 [Zbl 1044.93534]  \\textit{Cassez, Franck; Henzinger, Thomas A.; Raskin, Jean-Fran\u00e7ois}, A comparison of control problems for timed and hybrid systems, 134-148 [Zbl 1044.93518]  \\textit{Davoren, J. M.; Moor, T.; Nerode, A.}, Hybrid control loops, A/D maps, and dynamic specifications, 149-163 [Zbl 1049.93048]  \\textit{El-Farra, Nael H.; Christofides, Panagiotis D.}, Switching and feedback laws for control of constrained switched nonlinear systems, 164-178 [Zbl 1044.93515]  \\textit{Elia, Nicola; Frazzoli, Emilio}, Quantized stabilization of two-input linear systems: A lower bound on the minimal quantization density, 179-193 [Zbl 1052.93051]  \\textit{Ferrari-Trecate, Giancarlo; Cuzzola, Francesco A.; Morari, Manfred}, Analysis of discrete-time PWA systems with logic states, 194-208 [Zbl 1049.93049]  \\textit{Ferrari-Trecate, Giancarlo; Gallestey, Eduardo; Letizia, Paolo; Spedicato, Matteo; Morari, Manfred; Antoine, Marc}, Modeling and control of co-generation power plants: A hybrid system approach, 209-224 [Zbl 1044.93536]  \\textit{Goldman, Robert P.; Musliner, David J.; Pelican, Michael J. S.}, Exploiting implicit representations in timed automaton verification for controller synthesis, 225-238 [Zbl 1044.93519]  \\textit{Hespanha, Jo\u00e3o P.}, Computation of root-mean-square gains of switched linear systems, 239-252 [Zbl 1049.93050]  \\textit{Hofbaur, Michael W.; Williams, Brian C.}, Mode estimation of probabilistic hybrid systems, 253-266 [Zbl 1060.93054]  \\textit{Hu, Jianghai; Sastry, Shankar}, Symmetry reduction of a class of hybrid systems, 267-280 [Zbl 1046.49027]  \\textit{Koo, T. John; Sastry, Shankar}, Bisimulation based hierarchical system architecture for single-agent multi-modal systems, 281-293 [Zbl 1044.93502]  \\textit{Kuipers, Benjamin; Ramamoorthy, Subramanian}, Qualitative modeling and heterogeneous control of global system behavior, 294-307 [Zbl 1060.93010]  \\textit{Narasimhan, Sriram; Biswas, Gautam}, An approach to model-based diagnosis of hybrid systems, 308-322 [Zbl 1044.93520]  \\textit{Neller, Todd W.}, Information-based alpha-beta search and the homicidal chauffeur, 323-336 [Zbl 1044.68787]  \\textit{Palopoli, Luigi; Pinello, Claudio; Vincentelli, Alberto Sangiovanni; Elghaoui, Laurent; Bicchi, Antonio}, Synthesis of robust control systems under resource constraints, 337-350 [Zbl 1081.93509]  \\textit{Pancanti, Stefania; Leonardi, Laura; Pallottino, Lucia; Bicchi, Antonio}, Optimal control of quantized input systems, 351-363 [Zbl 1044.93516]  \\textit{Pasternak, Tal}, Reconfiguration in hierarchical control of piecewise-affine systems, 364-377 [Zbl 1044.93521]  \\textit{Saint-Pierre, Patrick}, Hybrid kernels and capture basins for impulse constrained systems, 378-392 [Zbl 1050.93041]  \\textit{Sethian, James A.; Vladimirsky, Alexander}, Ordered upwind methods for hybrid control, 393-406 [Zbl 1050.93042]  \\textit{Stauner, Thomas}, Discrete-time refinement of hybrid automata, 407-420 [Zbl 1044.93522]  \\textit{Stursberg, Olaf; Panek, Sebastian}, Control of switched hybrid systems based on disjunctive formulations, 421-435 [Zbl 1046.49029]  \\textit{Tabuada, Paulo; Pappas, George J.; Lima, Pedro}, Composing abstractions of hybrid systems, 436-450 [Zbl 1050.93043]  \\textit{Tan, Xiaobo; Baras, John S.}, Optimal control of hysteresis in smart actuators: A viscosity solutions approach, 451-464 [Zbl 1044.82021]  \\textit{Tiwari, Ashish; Khanna, Gaurav}, Series of abstractions for hybrid automata, 465-478 [Zbl 1044.93523]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601522$CC3BA044-C478-470C-AFBB-26E850866850","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601522$1D732847-7981-4E5F-8161-7B1B20A3CCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601522$5809B7B3-EB72-4D19-9335-279BA71A5450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa976a66ac800483dcca0b20912799dee2fb9edc","datavalue":{"value":"93-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601522$0144B7D6-92A5-4DCB-A042-53044B8F6E58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f6405a9275440087aea08762b18c9a77554d420","datavalue":{"value":"1760798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601522$C7F7C78E-D9E2-4355-B111-B5DA3AE3B007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6ea9bd6acc3ea02ba6d2de56c2ed545eb04bb9d","datavalue":{"value":"Stanford, CA (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601522$AEB68AC5-4477-4278-B53E-CF8967A99EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601522$F97A9879-B381-44C0-87EE-7225FABE79AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601522$A63A2D53-9CFD-4527-930E-56DA95718FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19758eca2fa82c54fff8c90cdc5a32804729912d","datavalue":{"value":"HSCC 2002","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601522$C3532B4B-CCA4-4192-80A8-329275F651F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1155debeb156f5a81cf6676c4c13e2efcf6baf","datavalue":{"value":"Hybrid system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601522$95B20398-393F-40E1-AC69-047E4D29DE9E","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":"Q1601522$93B4CD58-DA63-4305-87C5-179645B0DBA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c2747e1bd78b03cecdc2e4f96cee3425daebd80","datavalue":{"value":{"entity-type":"item","numeric-id":2388716,"id":"Q2388716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461b024cb493ac5d59544e5c3a0e69ac918bf7d2","datavalue":{"value":{"amount":"+0.9359861","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$4B15F4E6-47A0-4F8C-A933-8D91598C5B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2d54db8bb7ab23168e56940f46f38b07114f299","datavalue":{"value":{"entity-type":"item","numeric-id":1975129,"id":"Q1975129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bc4244cbe9d698b3a375f35706f9e0b4b6c5b52","datavalue":{"value":{"amount":"+0.9295838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$B2072872-431C-4D47-A656-148325C8AB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad3763b54d39dbdccdb248c4f14280cbb17764f","datavalue":{"value":{"entity-type":"item","numeric-id":855059,"id":"Q855059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79574bd86957978d4227974c635956fb260a981a","datavalue":{"value":{"amount":"+0.9240681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$B26C4215-B597-4273-93BE-760FACB7CB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa0eaf116e5fba1b14fd555e783ee6704a5a2aa","datavalue":{"value":{"entity-type":"item","numeric-id":1975128,"id":"Q1975128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f0c172b429031ce16bc568f8edf8253ca2118e","datavalue":{"value":{"amount":"+0.923761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$221B767C-74F3-4208-959C-6CC62AF3AAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae10e297093a6afce167a6a57e4311a9f6113c3","datavalue":{"value":{"entity-type":"item","numeric-id":1883517,"id":"Q1883517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c2fd93ed2cbdb5a44a1f2ac34dab1b9e4208f9f","datavalue":{"value":{"amount":"+0.9159281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$B21FD672-0FFF-4D05-8334-20DAAA328813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6408300d998e0ce0e658bbd82de51db1ad41a6","datavalue":{"value":{"entity-type":"item","numeric-id":1014927,"id":"Q1014927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150528f117aacf2c62c54d6eb6df41d5ac88a881","datavalue":{"value":{"amount":"+0.9144816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$EEAA477B-7FD3-4A52-A200-F4587FB39E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de37d299062344896aefcc1929cfc5260a2264d4","datavalue":{"value":{"entity-type":"item","numeric-id":933702,"id":"Q933702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c2cdf557f216e73fd4cefbebb9fc42cd5660c4","datavalue":{"value":{"amount":"+0.9142791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$5277605B-3103-4178-BCFD-1CE51363116A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e3e846ac00a6146ed9791bd5c4690b8643cb7c","datavalue":{"value":{"entity-type":"item","numeric-id":1608368,"id":"Q1608368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd2a5e9aaf1550c1b2c4889c58a69656142467a","datavalue":{"value":{"amount":"+0.9120163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$9A17C9DA-5059-42DD-B681-1FFD094CDAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ff69c7b430038b1d3be3639ebaaeebecf74542a","datavalue":{"value":{"entity-type":"item","numeric-id":1284358,"id":"Q1284358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c654f8571573a0720158147e523fccfabf6d02a9","datavalue":{"value":{"amount":"+0.9054666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$F583B23D-3C9A-4330-A5AE-0ECD8CEA0E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d2a0e42281e7adcdedc3d721b6f3e123b65e90","datavalue":{"value":{"entity-type":"item","numeric-id":1398133,"id":"Q1398133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"597de62cc4928d7d7e4d9ae90e44df2df21b0b66","datavalue":{"value":{"amount":"+0.90474397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1601522$8AE580C9-2208-4067-9A27-484D61DB8B28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1601522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1601522"}}}}}