default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
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.
retrieved on 2025-01-05 08:15 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
