{"entities":{"Q1277675":{"pageid":1288425,"ns":120,"title":"Item:Q1277675","lastrevid":70058367,"modified":"2026-04-13T12:09:34Z","type":"item","id":"Q1277675","labels":{"en":{"language":"en","value":"Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11--13, 1997. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1257745"}},"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":"Q1277675$00E54117-23E3-4534-ABE9-008785838C7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5c02378bf6efab28d40eeef9ee52f466497ad7d","datavalue":{"value":{"text":"Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11--13, 1997. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1277675$9069815B-3AB2-493F-A180-090BC32389D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"761110ff7deef41801680810e2f29cd8713b6df4","datavalue":{"value":"0909.00062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277675$8DD0CB47-CD03-4C02-A2B9-DDAB046878DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c24abf499e14db7f7b901099a15e9cdd8eba244","datavalue":{"value":"10.1007/3-540-49163-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277675$0DDFB370-4807-4AB9-BC89-4F2396CEB7B7","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":"Q1277675$D25F7047-6F52-4D82-9757-EF10FC1E1DCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca81668723b17b38fcd31dd2e967490600b6d1d","datavalue":{"value":{"time":"+1999-03-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":"Q1277675$C5D74EA2-892B-4C88-ACA4-F1B5FD80BC0F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0e659fbe05aa034e9d3fbfbeb3239a62c45eac44","datavalue":{"value":"The articles of this volume will be reviewed individually. The second workshop (1994) has been announced (Zbl 0875.00062).  Indexed articles:  \\textit{Chen, Haoxun; Hanisch, Hans-Michael}, Control synthesis of hybrid systems based on predicate invariance, 1-15 [Zbl 0928.93025]  \\textit{Chutinan, Alongkrit; Krogh, Bruce H.}, Computing approximating automata for a class of linear hybrid systems, 16-37 [Zbl 0928.93026]  \\textit{Davoren, J. M.}, On hybrid systems and the modal \\(\\mu\\)-calculus, 38-69 [Zbl 0928.93027]  \\textit{De Schutter, Bart; De Moor, Bart}, The extended linear complementarity problem and the modeling and analysis of hybrid systems, 70-85 [Zbl 0931.93036]  \\textit{Ferreira, Enrique D.; Krogh, Bruce H.}, Controller scheduling using neural networks: Implementation and experimental results, 86-99 [Zbl 0925.93433]  \\textit{Gao, Jianping; Xu, Qiwen}, Rigorous design of a fault diagnosis and isolation algorithm, 100-121 [Zbl 0926.93030]  \\textit{Kohn, Wolf; Nerode, Anil; Remmel, Jeffrey B.}, Scalable data and sensor fusion via multiple agent hybrid systems, 122-141 [Zbl 0928.93028]  \\textit{Koutsoukos, Xenofon D.; Antsaklis, Panos J.}, Hybrid control systems using timed Petri nets: Supervisory control design based on invariant properties, 142-162 [Zbl 0961.93503]  \\textit{Kowalewski, S.; Stursberg, O.; Fritz, M.; Graf, H.; Hoffmann, I.; Preu\u00dfig, J.; Remelhe, M.; Simon, S.; Treseler, H.}, A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem, 163-185 [Zbl 0925.93746]  \\textit{Lafferriere, Gerardo; Pappas, George J.; Sastry, Shankar}, Hybrid systems with finite bisimulations, 186-203 [Zbl 0942.93015]  \\textit{Lemmon, Michael; Bett, Christopher J.}, Extracting stable timed automata from switched model reference systems, 204-217 [Zbl 0929.93017]  \\textit{Mosterman, Pieter J.; Zhao, Feng; Biswas, Gautam}, Sliding mode model semantics and simulation for hybrid systems, 218-237 [Zbl 0925.93432]  \\textit{Nadjm-Tehrani, Simin}, Time-deterministic hybrid transition systems, 238-250 [Zbl 0926.93037]  \\textit{Neller, Todd W.}, Heuristic optimization and dynamical system safety verification, 251-261 [Zbl 0948.93511]  \\textit{Parisini, T.; Sacone, S.}, A hybrid receding-horizon control scheme for nonlinear discrete-time systems, 262-278 [Zbl 0927.93033]  \\textit{Raisch, J\u00f6rg; Klein, Eberhard; O'Young, Siu; Meder, Christian; Itigin, Alexander}, Approximating automata and discrete control for continuous systems -- two examples from process control, 279-303 [Zbl 0928.93018]  \\textit{R\u00f6nkk\u00f6, Mauno; Ravn, Anders P.}, Action systems with continuous behaviour, 304-323 [Zbl 0986.93006]  \\textit{Seibel, Conrado W.; Farines, Jean-Marie; Cury, Jos\u00e9 E. R.}, Towards using hybrid automata for the mission planning of unmanned aerial vehicles, 324-340 [Zbl 0925.93747]  \\textit{Skafidas, E.; Evans, R. J.; Mareels, I. M. Y.; Nerode, A.}, Optimal controller switching for stochastic systems, 341-355 [Zbl 0936.93051]  \\textit{Wang, Le Yi; Khargonekar, Pramod P.; Beydoun, Ali}, Robust control of hybrid systems: Performance guided strategies, 356-389 [Zbl 0946.93027]  \\textit{Wong-Toi, Howard}, Analysis of slope-parametric rectangular automata, 390-413 [Zbl 0927.93034]  \\textit{Yu, Xinyao; Chen, Zongji}, Control of interval temporal systems, 414-428 [Zbl 0928.93029]  \\textit{Zhao, Feng; Loh, Shiou C.; May, Jeff A.}, Phase-space nonlinear control toolbox: The Maglev experience, 429-444 [Zbl 0925.93009]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277675$8D11019F-0F39-40FD-AAFC-0602A74DF884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277675$D7858C99-8A7B-4524-80AF-E6DA6E48E23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa976a66ac800483dcca0b20912799dee2fb9edc","datavalue":{"value":"93-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277675$11890C06-0225-4DE7-B538-0EC2252BD051","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6ee44d64eaa99f4a17bdd2facb65e1a85c83077","datavalue":{"value":"1257745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277675$97DFBF7B-BA0D-45E5-BB88-FEBFE9B4FFC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d4dee620f95633134bd4651344465abe05c3c7","datavalue":{"value":"Notre Dame, IN (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277675$6922D279-16E7-4F43-B8C3-1D566453D0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277675$E85E1070-5AC5-40FE-AD4F-422057024ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7c2172f0a2ed6197400daa3f44dae0d79725b1a","datavalue":{"value":"Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277675$1CA79C34-F476-48F2-9A6E-3FDCC29B48B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c330f2a58efc85bc92438e4c9601644a796093e","datavalue":{"value":"Hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1277675$5873BD89-C4B4-4406-A053-C75CDDDA1716","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":"Q1277675$52CB05A6-FEB4-4BA3-A092-DDDF6B217A55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c973ab56e54b4953251ad3a62d051298379ec839","datavalue":{"value":"https://doi.org/10.1007/3-540-49163-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1277675$F68DE3FF-4D71-42EA-A2F2-09203D330DEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c907469035c7b71606d82dda1035d3a79122238","datavalue":{"value":"W44659885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1277675$BF205DF8-9B17-4B95-B606-5B2261E6326D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hybrid systems V. 5th international Hybrid systems workshop held in Notre Dame, IN, USA, September 11--13, 1997. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hybrid_systems_V._5th_international_Hybrid_systems_workshop_held_in_Notre_Dame,_IN,_USA,_September_11--13,_1997._Proceedings"}}}}}