Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/hybrid/hybrid94.bht:"
@proceedings{DBLP:conf/hybrid/1994, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60472-3}, doi = {10.1007/3-540-60472-3}, isbn = {3-540-60472-3}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/1994.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/AsarinMP94, author = {Eugene Asarin and Oded Maler and Amir Pnueli}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Symbolic Controller Synthesis for Discrete and Timed Systems}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {1--20}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_1}, doi = {10.1007/3-540-60472-3\_1}, timestamp = {Fri, 29 Apr 2022 09:17:30 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/AsarinMP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BenvenisteLFG94, author = {Albert Benveniste and Bernard C. Levy and Eric Fabre and Paul {Le Guernic}}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {21--44}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_2}, doi = {10.1007/3-540-60472-3\_2}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BenvenisteLFG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BirdwellM94, author = {J. D. Birdwell and B. C. Moore}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Condensation of Information from Signals for Process Modeling and Control}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {45--63}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_3}, doi = {10.1007/3-540-60472-3\_3}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BirdwellM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/BouajjaniER94, author = {Ahmed Bouajjani and Rachid Echahed and Riadh Robbana}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {64--85}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_4}, doi = {10.1007/3-540-60472-3\_4}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/BouajjaniER94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/CainesW94, author = {Peter E. Caines and Yuan{-}Jun Wei}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {On Dynamically Consistent Hybrid Systems}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {86--105}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_5}, doi = {10.1007/3-540-60472-3\_5}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/CainesW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/DeClarisS94, author = {Nicholas DeClaris and Mu{-}Chun Su}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {A Self-Learning Neuro-Fuzzy System}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {106--127}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_6}, doi = {10.1007/3-540-60472-3\_6}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/DeClarisS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/DeshpandeV94, author = {Akash Deshpande and Pravin Varaiya}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Viable Control of Hybrid Systems}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {128--147}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_7}, doi = {10.1007/3-540-60472-3\_7}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/DeshpandeV94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/DogruelO94, author = {Murat Dogruel and {\"{U}}mit {\"{O}}zg{\"{u}}ner}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Modeling and Stability Issues in Hybrid Systems}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {148--165}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_8}, doi = {10.1007/3-540-60472-3\_8}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/DogruelO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GodboleLS94, author = {Datta N. Godbole and John Lygeros and Shankar Sastry}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Hierarchical Hybrid Control: {A} Case Study}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {166--190}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_9}, doi = {10.1007/3-540-60472-3\_9}, timestamp = {Thu, 28 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GodboleLS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GrossmanS94, author = {Robert L. Grossman and M. Sweedler}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Hybrid Systems and Quantum Automata: Preliminary Announcement}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {191--201}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_10}, doi = {10.1007/3-540-60472-3\_10}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GrossmanS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GuckenheimerJ94, author = {John Guckenheimer and Stewart Johnson}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Planar Hybrid Systems}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {202--225}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_11}, doi = {10.1007/3-540-60472-3\_11}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GuckenheimerJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/GuptaJSB94, author = {Vineet Gupta and Radha Jagadeesan and Vijay A. Saraswat and Daniel G. Bobrow}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Programming in Hybrid Constraint Languages}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {226--251}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_12}, doi = {10.1007/3-540-60472-3\_12}, timestamp = {Fri, 15 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/GuptaJSB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/HenzingerH94, author = {Thomas A. Henzinger and Pei{-}Hsin Ho}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {A Note on Abstract Interpretation Strategies for Hybrid Automata}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {252--264}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_13}, doi = {10.1007/3-540-60472-3\_13}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/HenzingerH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/HenzingerH94a, author = {Thomas A. Henzinger and Pei{-}Hsin Ho}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {{HYTECH:} The Cornell HYbrid TECHnology Tool}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {265--293}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_14}, doi = {10.1007/3-540-60472-3\_14}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/HenzingerH94a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/KohnNR94, author = {Wolf Kohn and Anil Nerode and Jeffrey B. Remmel}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {294--321}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_15}, doi = {10.1007/3-540-60472-3\_15}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/KohnNR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/LemmonBSA94, author = {Michael D. Lemmon and Christopher J. Bett and Peter T. Szymanski and Panos J. Antsaklis}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Constructing Hybrid Control Systems from Robust Linear Control Agents}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {322--343}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_16}, doi = {10.1007/3-540-60472-3\_16}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/LemmonBSA94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/NerodeRY94, author = {Anil Nerode and Jeffrey B. Remmel and Alexander Yakhnis}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Controllers as Fixed Points of Set-Valued Operators}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {344--358}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_17}, doi = {10.1007/3-540-60472-3\_17}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/NerodeRY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/PuriV94, author = {Anuj Puri and Pravin Varaiya}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Verification of Hybrid Systems Using Abstractions}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {359--369}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_18}, doi = {10.1007/3-540-60472-3\_18}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/PuriV94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/Raisch94, author = {J{\"{o}}rg Raisch}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Control of Continuous Plants by Symbolic Output Feedback}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {370--390}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_19}, doi = {10.1007/3-540-60472-3\_19}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/Raisch94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/RavnRCA94, author = {Anders P. Ravn and Hans Rischel and Finn Conrad and Torben Ole Andersen}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Hybrid Control of a Robot - {A} Case Study}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {391--404}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_20}, doi = {10.1007/3-540-60472-3\_20}, timestamp = {Thu, 18 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hybrid/RavnRCA94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/RouxR94, author = {Olivier F. Roux and Vlad Rusu}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Verifying Time-bounded Properties for {ELECTRE} Reactive Programs with Stopwatch Automata}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {405--416}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_21}, doi = {10.1007/3-540-60472-3\_21}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/RouxR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/SarjoughianZ94, author = {Hessam S. Sarjoughian and Bernard P. Zeigler}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Inductive Modeling: {A} Framework Marrying Systems Theory and Non-monotonic Reasoning}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {417--435}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_22}, doi = {10.1007/3-540-60472-3\_22}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/SarjoughianZ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ShyamasundarR94, author = {R. K. Shyamasundar and S. Ramesh}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Semantics and Verification of Hierarchical {CRP} Programs}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {436--461}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_23}, doi = {10.1007/3-540-60472-3\_23}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ShyamasundarR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/StiverAL94, author = {James A. Stiver and Panos J. Antsaklis and Michael D. Lemmon}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Interface and Controller Design for Hybrid Control Systems}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {462--492}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_24}, doi = {10.1007/3-540-60472-3\_24}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/StiverAL94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/TittusE94, author = {Michael Tittus and Bo Egardt}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Hybrid Objects}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {493--508}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_25}, doi = {10.1007/3-540-60472-3\_25}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/TittusE94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/YangLB94, author = {Yong Yao Yang and Derek A. Linkens and Stephen P. Banks}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Modelling of Hybrid Systems Based on Extended Coloured Petri Nets}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {509--528}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_26}, doi = {10.1007/3-540-60472-3\_26}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/YangLB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ZeiglerSKP94, author = {Bernard P. Zeigler and Hae Sang Song and Tag Gon Kim and Herbert Praehofer}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {{DEVS} Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {529--551}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_27}, doi = {10.1007/3-540-60472-3\_27}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ZeiglerSKP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hybrid/ZhangM94, author = {Ying Zhang and Alan K. Mackworth}, editor = {Panos J. Antsaklis and Wolf Kohn and Anil Nerode and Shankar Sastry}, title = {Synthesis of Hybrid Constraint-Based Controllers}, booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1994}, series = {Lecture Notes in Computer Science}, volume = {999}, pages = {552--567}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-60472-3\_28}, doi = {10.1007/3-540-60472-3\_28}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hybrid/ZhangM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.