Search dblp for Publications

export results for "toc:db/conf/hybrid/hybrid92.bht:"

 download as .bib file

@proceedings{DBLP:conf/hybrid/1992,
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57318-6},
  doi          = {10.1007/3-540-57318-6},
  isbn         = {3-540-57318-6},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/AlurCHH92,
  author       = {Rajeev Alur and
                  Costas Courcoubetis and
                  Thomas A. Henzinger and
                  Pei{-}Hsin Ho},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Hybrid Automata: An Algorithmic Approach to the Specification and
                  Verification of Hybrid Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {209--229},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_30},
  doi          = {10.1007/3-540-57318-6\_30},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AlurCHH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/AndersonLFS92,
  author       = {Tom Anderson and
                  Rog{\'{e}}rio de Lemos and
                  John S. Fitzgerald and
                  Amer Saeed},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {On Foraml Support for Industrial-Scale Requirements Analysis},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {426--451},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_39},
  doi          = {10.1007/3-540-57318-6\_39},
  timestamp    = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AndersonLFS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/AntsaklisSL92,
  author       = {Panos J. Antsaklis and
                  James A. Stiver and
                  Michael D. Lemmon},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Hybrid System Modeling and Autonomous Control Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {366--392},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_37},
  doi          = {10.1007/3-540-57318-6\_37},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/AntsaklisSL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BackGM92,
  author       = {Allen Back and
                  John Guckenheimer and
                  Mark Myers},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {A Dynamical Simulation Facility for Hybrid Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {255--267},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_32},
  doi          = {10.1007/3-540-57318-6\_32},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BackGM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BenvenisteBG92,
  author       = {Albert Benveniste and
                  Michel Le Borgne and
                  Paul {Le Guernic}},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Hybrid Systems: The {SIGNAL} Approach},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {230--254},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_31},
  doi          = {10.1007/3-540-57318-6\_31},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BenvenisteBG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BlankeNJ92,
  author       = {Mogens Blanke and
                  S{\o}ren B{\o}gh Nielsen and
                  Rikke Bille J{\o}rgensen},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Fault Accomodation in Feedback Control Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {393--425},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_38},
  doi          = {10.1007/3-540-57318-6\_38},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BlankeNJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/ChaochenRH92,
  author       = {Zhou Chaochen and
                  Anders P. Ravn and
                  Michael R. Hansen},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {An Extended Duration Calculus for Hybrid Real-Time Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {36--59},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_23},
  doi          = {10.1007/3-540-57318-6\_23},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ChaochenRH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/EngelKMPRS92,
  author       = {Marcin Engel and
                  Marcin Kubica and
                  Jan Madey and
                  David Lorge Parnas and
                  Anders P. Ravn and
                  A. John van Schouwen},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {A Formal Approach to Computer Systems Requirements Documentation},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {452--474},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_40},
  doi          = {10.1007/3-540-57318-6\_40},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/EngelKMPRS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/GrossmanL92,
  author       = {Robert L. Grossman and
                  Richard G. Larson},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Some Remarks About Flows in Hybrid Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {357--365},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_36},
  doi          = {10.1007/3-540-57318-6\_36},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/GrossmanL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/GrossmanNRR92,
  author       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Introduction},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {1--3},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_21},
  doi          = {10.1007/3-540-57318-6\_21},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/GrossmanNRR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/HenzingerMP92,
  author       = {Thomas A. Henzinger and
                  Zohar Manna and
                  Amir Pnueli},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Towards Refining Temporal Specifications into Hybrid Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {60--76},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_24},
  doi          = {10.1007/3-540-57318-6\_24},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/HenzingerMP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Hooman92,
  author       = {Jozef Hooman},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {A Compositional Approach to the Design of Hybrid Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {121--148},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_27},
  doi          = {10.1007/3-540-57318-6\_27},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Hooman92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/KestenPSY92,
  author       = {Yonit Kesten and
                  Amir Pnueli and
                  Joseph Sifakis and
                  Sergio Yovine},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Integration Graphs: {A} Class of Decidable Hybrid Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {179--208},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_29},
  doi          = {10.1007/3-540-57318-6\_29},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/KestenPSY92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Kurki-Suonio92,
  author       = {Reino Kurki{-}Suonio},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Hybrid Models with Fairness and Distributed Clocks},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {103--120},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_26},
  doi          = {10.1007/3-540-57318-6\_26},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Kurki-Suonio92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/Lamport92,
  author       = {Leslie Lamport},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Hybrid Systems in TLA\({}^{\mbox{+}}\)},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {77--102},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_25},
  doi          = {10.1007/3-540-57318-6\_25},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/Lamport92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/LemmonSA92,
  author       = {Michael D. Lemmon and
                  James A. Stiver and
                  Panos J. Antsaklis},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Event Identification and Intelligent Hybrid Control},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {268--296},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_33},
  doi          = {10.1007/3-540-57318-6\_33},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/LemmonSA92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/MannaP92,
  author       = {Zohar Manna and
                  Amir Pnueli},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Verifying Hybrid Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {4--35},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_22},
  doi          = {10.1007/3-540-57318-6\_22},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/MannaP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/NerodeK92,
  author       = {Anil Nerode and
                  Wolf Kohn},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Multiple Agent Hybrid Control Architecture},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {297--316},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_34},
  doi          = {10.1007/3-540-57318-6\_34},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/NerodeK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/NerodeK92a,
  author       = {Anil Nerode and
                  Wolf Kohn},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {Models for Hybrid Systems: Automata, Topologies, Controllability,
                  Observability},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {317--356},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_35},
  doi          = {10.1007/3-540-57318-6\_35},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/NerodeK92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/NicollinOSY92,
  author       = {Xavier Nicollin and
                  Alfredo Olivero and
                  Joseph Sifakis and
                  Sergio Yovine},
  editor       = {Robert L. Grossman and
                  Anil Nerode and
                  Anders P. Ravn and
                  Hans Rischel},
  title        = {An Approach to the Description and Analysis of Hybrid Systems},
  booktitle    = {Hybrid Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {736},
  pages        = {149--178},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-57318-6\_28},
  doi          = {10.1007/3-540-57318-6\_28},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/NicollinOSY92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.