:facetid:toc:\"db/conf/hybrid/hscc2004.bht\"OK:facetid:toc:db/conf/hybrid/hscc2004.bhtManindra AgrawalP. S. ThiagarajanLazy Rectangular Hybrid Automata.HSCC1-152004Conference and Workshop Papersclosedconf/hybrid/AgrawalT0410.1007/978-3-540-24743-2_1https://doi.org/10.1007/978-3-540-24743-2_1https://dblp.org/rec/conf/hybrid/AgrawalT04URL#6042675Aaron D. AmesShankar Sastry 0001Affine Hybrid Systems.HSCC16-312004Conference and Workshop Papersclosedconf/hybrid/AmesS0410.1007/978-3-540-24743-2_2https://doi.org/10.1007/978-3-540-24743-2_2https://dblp.org/rec/conf/hybrid/AmesS04URL#6042676Eugene AsarinThao Dang 0001Abstraction by Projection and Application to Multi-affine Systems.HSCC32-472004Conference and Workshop Papersclosedconf/hybrid/AsarinD0410.1007/978-3-540-24743-2_3https://doi.org/10.1007/978-3-540-24743-2_3https://dblp.org/rec/conf/hybrid/AsarinD04URL#6042677Mohamed BabaaliMagnus EgerstedtObservability of Switched Linear Systems.HSCC48-632004Conference and Workshop Papersclosedconf/hybrid/BabaaliE0410.1007/978-3-540-24743-2_4https://doi.org/10.1007/978-3-540-24743-2_4https://dblp.org/rec/conf/hybrid/BabaaliE04URL#6042678Hamsa BalakrishnanInseok Hwang 0002Jung Soon JangClaire J. TomlinInference Methods for Autonomous Stochastic Linear Hybrid Systems.HSCC64-792004Conference and Workshop Papersclosedconf/hybrid/BalakrishnanHJT0410.1007/978-3-540-24743-2_5https://doi.org/10.1007/978-3-540-24743-2_5https://dblp.org/rec/conf/hybrid/BalakrishnanHJT04URL#6042679Andrea BalluchiFederico Di NataleAlberto L. Sangiovanni-VincentelliJan H. van SchuppenSynthesis for Idle Speed Control of an Automotive Engine.HSCC80-942004Conference and Workshop Papersclosedconf/hybrid/BalluchiNSS0410.1007/978-3-540-24743-2_6https://doi.org/10.1007/978-3-540-24743-2_6https://dblp.org/rec/conf/hybrid/BalluchiNSS04URL#6042680Alexandre M. BayenRobin L. RaffardClaire J. TomlinNetwork Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways.HSCC95-1102004Conference and Workshop Papersclosedconf/hybrid/BayenRT0410.1007/978-3-540-24743-2_7https://doi.org/10.1007/978-3-540-24743-2_7https://dblp.org/rec/conf/hybrid/BayenRT04URL#6042681Calin BeltaPeter FininLuc C. G. J. M. HabetsÁdám M. HalászMarcin ImielinskiVijay Kumar 0001Harvey RubinUnderstanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems.HSCC111-1252004Conference and Workshop Papersclosedconf/hybrid/BeltaFHHIKR0410.1007/978-3-540-24743-2_8https://doi.org/10.1007/978-3-540-24743-2_8https://dblp.org/rec/conf/hybrid/BeltaFHHIKR04URL#6042682Alberto BemporadNicolò GiorgettiA SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems.HSCC126-1412004Conference and Workshop Papersclosedconf/hybrid/BemporadG0410.1007/978-3-540-24743-2_9https://doi.org/10.1007/978-3-540-24743-2_9https://dblp.org/rec/conf/hybrid/BemporadG04URL#6042683Amit Bhatia 0001Emilio FrazzoliIncremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems.HSCC142-1562004Conference and Workshop Papersclosedconf/hybrid/BhatiaF0410.1007/978-3-540-24743-2_10https://doi.org/10.1007/978-3-540-24743-2_10https://dblp.org/rec/conf/hybrid/BhatiaF04URL#6042684Antonio BicchiAlessia MarigoBenedetto PiccoliDiscrete and Hybrid Nonholonomy.HSCC157-1722004Conference and Workshop Papersclosedconf/hybrid/BicchiMP0410.1007/978-3-540-24743-2_11https://doi.org/10.1007/978-3-540-24743-2_11https://dblp.org/rec/conf/hybrid/BicchiMP04URL#6042685Vincent D. BlondelYurii E. NesterovJacques TheysApproximations of the Rate of Growth of Switched Linear Systems.HSCC173-1862004Conference and Workshop Papersclosedconf/hybrid/BlondelNT0410.1007/978-3-540-24743-2_12https://doi.org/10.1007/978-3-540-24743-2_12https://dblp.org/rec/conf/hybrid/BlondelNT04URL#6042686Noël BonneuilPatrick Saint-PierreThe Hybrid Guaranteed Capture Basin Algorithm in Economics.HSCC187-2022004Conference and Workshop Papersclosedconf/hybrid/BonneuilS0410.1007/978-3-540-24743-2_13https://doi.org/10.1007/978-3-540-24743-2_13https://dblp.org/rec/conf/hybrid/BonneuilS04URL#6042687Patricia BouyerEd BrinksmaKim Guldstrand LarsenStaying Alive as Cheaply as Possible.HSCC203-2182004Conference and Workshop Papersclosedconf/hybrid/BouyerBL0410.1007/978-3-540-24743-2_14https://doi.org/10.1007/978-3-540-24743-2_14https://dblp.org/rec/conf/hybrid/BouyerBL04URL#6042688Thomas BrihayeChristian MichauxCédric RivièreChristophe TroestlerOn O-Minimal Hybrid Systems.HSCC219-2332004Conference and Workshop Papersclosedconf/hybrid/BrihayeMRT0410.1007/978-3-540-24743-2_15https://doi.org/10.1007/978-3-540-24743-2_15https://dblp.org/rec/conf/hybrid/BrihayeMRT04URL#6042689Manuela-Luminita BujorianuExtended Stochastic Hybrid Systems and Their Reachability Problem.HSCC234-2492004Conference and Workshop Papersclosedconf/hybrid/Bujorianu0410.1007/978-3-540-24743-2_16https://doi.org/10.1007/978-3-540-24743-2_16https://dblp.org/rec/conf/hybrid/Bujorianu04URL#6042690M. Kanat CamlibelW. P. M. H. HeemelsJohannes M. SchumacherOn the Controllability of Bimodal Piecewise Linear Systems.HSCC250-2642004Conference and Workshop Papersclosedconf/hybrid/CamlibelHS0410.1007/978-3-540-24743-2_17https://doi.org/10.1007/978-3-540-24743-2_17https://dblp.org/rec/conf/hybrid/CamlibelHS04URL#6042691Pieter CollinsJan H. van SchuppenObservability of Piecewise-Affine Hybrid Systems.HSCC265-2792004Conference and Workshop Papersclosedconf/hybrid/CollinsS0410.1007/978-3-540-24743-2_18https://doi.org/10.1007/978-3-540-24743-2_18https://dblp.org/rec/conf/hybrid/CollinsS04URL#6042692Jennifer M. DavorenVaughan CoulthardNicolas MarkeyThomas MoorNon-deterministic Temporal Logics for General Flow Systems.HSCC280-2952004Conference and Workshop Papersclosedconf/hybrid/DavorenCMM0410.1007/978-3-540-24743-2_19https://doi.org/10.1007/978-3-540-24743-2_19https://dblp.org/rec/conf/hybrid/DavorenCMM04URL#6042693Ansgar FehnkerFranjo IvancicBenchmarks for Hybrid Systems Verification.HSCC326-3412004Conference and Workshop Papersclosedconf/hybrid/FehnkerI0410.1007/978-3-540-24743-2_22https://doi.org/10.1007/978-3-540-24743-2_22https://dblp.org/rec/conf/hybrid/FehnkerI04URL#6042694Tobias GeyerGeorgios PapafotiouManfred MorariOn the Optimal Control of Switch-Mode DC-DC Converters.HSCC342-3562004Conference and Workshop Papersclosedconf/hybrid/GeyerPM0410.1007/978-3-540-24743-2_23https://doi.org/10.1007/978-3-540-24743-2_23https://dblp.org/rec/conf/hybrid/GeyerPM04URL#6042695Arkadeb GhosalThomas A. HenzingerChristoph M. KirschMarco A. A. SanvidoEvent-Driven Programming with Logical Execution Times.HSCC357-3712004Conference and Workshop Papersclosedconf/hybrid/GhosalHKS0410.1007/978-3-540-24743-2_24https://doi.org/10.1007/978-3-540-24743-2_24https://dblp.org/rec/conf/hybrid/GhosalHKS04URL#6042696William GloverJohn LygerosA Stochastic Hybrid Model for Air Traffic Control Simulation.HSCC372-3862004Conference and Workshop Papersclosedconf/hybrid/GloverL0410.1007/978-3-540-24743-2_25https://doi.org/10.1007/978-3-540-24743-2_25https://dblp.org/rec/conf/hybrid/GloverL04URL#6042697João P. Hespanha 0001Stochastic Hybrid Systems: Application to Communication Networks.HSCC387-4012004Conference and Workshop Papersclosedconf/hybrid/Hespanha0410.1007/978-3-540-24743-2_26https://doi.org/10.1007/978-3-540-24743-2_26https://dblp.org/rec/conf/hybrid/Hespanha04URL#6042698Timothy J. HickeyDavid K. WittenbergRigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints.HSCC402-4162004Conference and Workshop Papersclosedconf/hybrid/HickeyW0410.1007/978-3-540-24743-2_27https://doi.org/10.1007/978-3-540-24743-2_27https://dblp.org/rec/conf/hybrid/HickeyW04URL#6042699Jianghai HuWei Chung WuShankar Sastry 0001Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems.HSCC417-4312004Conference and Workshop Papersclosedconf/hybrid/HuWS0410.1007/978-3-540-24743-2_28https://doi.org/10.1007/978-3-540-24743-2_28https://dblp.org/rec/conf/hybrid/HuWS04URL#6042700Yerang HurJesung KimInsup Lee 0001Jin-Young ChoiSound Code Generation from Communicating Hybrid Models.HSCC432-4472004Conference and Workshop Papersclosedconf/hybrid/HurKLC0410.1007/978-3-540-24743-2_29https://doi.org/10.1007/978-3-540-24743-2_29https://dblp.org/rec/conf/hybrid/HurKLC04URL#6042701Michal KvasnicaPascal GriederMato BaoticManfred MorariMulti-Parametric Toolbox (MPT).HSCC448-4622004Conference and Workshop Papersclosedconf/hybrid/KvasnicaGBM0410.1007/978-3-540-24743-2_30https://doi.org/10.1007/978-3-540-24743-2_30https://dblp.org/rec/conf/hybrid/KvasnicaGBM04URL#6042702Patrick LincolnAshish Tiwari 0001Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.HSCC660-6722004Conference and Workshop Papersclosedconf/hybrid/LincolnT0410.1007/978-3-540-24743-2_44https://doi.org/10.1007/978-3-540-24743-2_44https://dblp.org/rec/conf/hybrid/LincolnT04URL#6042703Natasha A. NeogiDynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis.HSCC463-4762004Conference and Workshop Papersclosedconf/hybrid/Neogi0410.1007/978-3-540-24743-2_31https://doi.org/10.1007/978-3-540-24743-2_31https://dblp.org/rec/conf/hybrid/Neogi04URL#6042704Stephen PrajnaAli JadbabaieSafety Verification of Hybrid Systems Using Barrier Certificates.HSCC477-4922004Conference and Workshop Papersclosedconf/hybrid/PrajnaJ0410.1007/978-3-540-24743-2_32https://doi.org/10.1007/978-3-540-24743-2_32https://dblp.org/rec/conf/hybrid/PrajnaJ04URL#6042705Fredrik RosenqvistAnders KarlströmPiecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes.HSCC493-5072004Conference and Workshop Papersclosedconf/hybrid/RosenqvistK0410.1007/978-3-540-24743-2_33https://doi.org/10.1007/978-3-540-24743-2_33https://dblp.org/rec/conf/hybrid/RosenqvistK04URL#6042706William C. RoundsA Spatial Logic for the Hybrid p-Calculus.HSCC508-5222004Conference and Workshop Papersclosedconf/hybrid/Rounds0410.1007/978-3-540-24743-2_34https://doi.org/10.1007/978-3-540-24743-2_34https://dblp.org/rec/conf/hybrid/Rounds04URL#6042707René SanchezRoberto HorowitzMasayoshi TomizukaSlobodan N. SimicFull Paper Sheet Control Using Hybrid Automata.HSCC523-5382004Conference and Workshop Papersclosedconf/hybrid/SanchezHTS0410.1007/978-3-540-24743-2_35https://doi.org/10.1007/978-3-540-24743-2_35https://dblp.org/rec/conf/hybrid/SanchezHTS04URL#6042708Sriram Sankaranarayanan 0001Henny SipmaZohar MannaConstructing Invariants for Hybrid Systems.HSCC539-5542004Conference and Workshop Papersclosedconf/hybrid/SankaranarayananSM0410.1007/978-3-540-24743-2_36https://doi.org/10.1007/978-3-540-24743-2_36https://dblp.org/rec/conf/hybrid/SankaranarayananSM04URL#6042709A. J. van der SchaftBisimulation of Dynamical Systems.HSCC555-5692004Conference and Workshop Papersclosedconf/hybrid/Schaft0410.1007/978-3-540-24743-2_37https://doi.org/10.1007/978-3-540-24743-2_37https://dblp.org/rec/conf/hybrid/Schaft04URL#6042710Dharmashankar SubramanianKartik B. AriyurNitin LambaRanjana DeshpandeSonja GlavaskiControl Design for a Hybrid Dynamic System: A NASA Life Support System.HSCC570-5842004Conference and Workshop Papersclosedconf/hybrid/SubramanianALDG0410.1007/978-3-540-24743-2_38https://doi.org/10.1007/978-3-540-24743-2_38https://dblp.org/rec/conf/hybrid/SubramanianALDG04URL#6042711Shreyas SundaramChristoforos N. HadjicostisNon-concurrent Error Detection and Correction in Switched Linear Controllers.HSCC585-5992004Conference and Workshop Papersclosedconf/hybrid/SundaramH0410.1007/978-3-540-24743-2_39https://doi.org/10.1007/978-3-540-24743-2_39https://dblp.org/rec/conf/hybrid/SundaramH04URL#6042712Ashish Tiwari 0001Gaurav Khanna 0001Nonlinear Systems: Approximating Reach Sets.HSCC600-6142004Conference and Workshop Papersclosedconf/hybrid/TiwariK0410.1007/978-3-540-24743-2_40https://doi.org/10.1007/978-3-540-24743-2_40https://dblp.org/rec/conf/hybrid/TiwariK04URL#6042713Domitilla Del VecchioRichard M. MurrayDiscrete State Estimators for a Class of Hybrid Systems on a Lattice.HSCC311-3252004Conference and Workshop Papersclosedconf/hybrid/VecchioM0410.1007/978-3-540-24743-2_21https://doi.org/10.1007/978-3-540-24743-2_21https://dblp.org/rec/conf/hybrid/VecchioM04URL#6042714Martin De WulfLaurent Doyen 0001Jean-François RaskinAlmost ASAP Semantics: From Timed Models to Timed Implementations.HSCC296-3102004Conference and Workshop Papersclosedconf/hybrid/WulfDR0410.1007/978-3-540-24743-2_20https://doi.org/10.1007/978-3-540-24743-2_20https://dblp.org/rec/conf/hybrid/WulfDR04URL#6042715Xuping XuGuisheng ZhaiOn Practical Stability and Stabilization of Hybrid and Switched Systems.HSCC615-6302004Conference and Workshop Papersclosedconf/hybrid/XuZ0410.1007/978-3-540-24743-2_41https://doi.org/10.1007/978-3-540-24743-2_41https://dblp.org/rec/conf/hybrid/XuZ04URL#6042716Christos A. YfoulisRobert ShortenA Numerical Technique for Stability Analysis of Linear Switched Systems.HSCC631-6452004Conference and Workshop Papersclosedconf/hybrid/YfoulisS0410.1007/978-3-540-24743-2_42https://doi.org/10.1007/978-3-540-24743-2_42https://dblp.org/rec/conf/hybrid/YfoulisS04URL#6042717Chenggui YuanJohn LygerosAsymptotic Stability and Boundedness of Delay Switching Diffusions.HSCC646-6592004Conference and Workshop Papersclosedconf/hybrid/YuanL0410.1007/978-3-540-24743-2_43https://doi.org/10.1007/978-3-540-24743-2_43https://dblp.org/rec/conf/hybrid/YuanL04URL#6042718Rajeev AlurGeorge J. PappasHybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, ProceedingsHSCCLecture Notes in Computer Science2993Springer2004Editorshipconf/hybrid/200410.1007/B96398https://doi.org/10.1007/b96398https://dblp.org/rec/conf/hybrid/2004URL#6097263