default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hybrid/hybrid96.bht:"
download as .bib file
@proceedings{DBLP:conf/hybrid/1996,
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0031551},
doi = {10.1007/BFB0031551},
isbn = {3-540-63358-8},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ArehartW96,
author = {Alan B. Arehart and
William A. Wolovich},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Bumpless Switching in Hybrid Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {1--17},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031552},
doi = {10.1007/BFB0031552},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ArehartW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BranickyDL96,
author = {Michael S. Branicky and
Ekaterina Dolginova and
Nancy A. Lynch},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {A Toolbox for Proving and Maintaining Hybrid Specifications},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {18--30},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031553},
doi = {10.1007/BFB0031553},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BranickyDL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BranickyM96,
author = {Michael S. Branicky and
Sven Erik Mattsson},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Simulation of Hybrid Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {31--56},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031554},
doi = {10.1007/BFB0031554},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BranickyM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BraymanV96,
author = {Vladimir Brayman and
Juris Vagners},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Application of the Kohn-Nerode Control Law Extraction Procedure to
the Inverted Pendulum Problem},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {57--76},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031555},
doi = {10.1007/BFB0031555},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BraymanV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BrouckeV96,
author = {Mireille E. Broucke and
Pravin Varaiya},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Decidability of Hybrid Systems with Linear and Nonlinear Differential
Inclusions},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {77--92},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031556},
doi = {10.1007/BFB0031556},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BrouckeV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/Cofer96,
author = {Darren D. Cofer},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Reliable Implementation of Hybrid Control Systems for Advanced Avionics},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {93--112},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031557},
doi = {10.1007/BFB0031557},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/Cofer96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DeshpandeGV96,
author = {Akash Deshpande and
Aleks G{\"{o}}ll{\"{u}} and
Pravin Varaiya},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {{SHIFT:} {A} Formalism and a Programming Language for Dynamic Networks
of Hybrid Automata},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {113--133},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031558},
doi = {10.1007/BFB0031558},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DeshpandeGV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HeymannLM96,
author = {Michael Heymann and
Feng Lin and
George Meyer},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Synthesis of Minimally Restrictive Legal Controllers for a Class of
Hybrid Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {134--159},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031559},
doi = {10.1007/BFB0031559},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HeymannLM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KnightL96,
author = {Julia F. Knight and
Brian Luense},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Control Theory, Modal Logic and Games},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {160--173},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031560},
doi = {10.1007/BFB0031560},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KnightL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KohnNR96,
author = {Wolf Kohn and
Anil Nerode and
Jeffrey B. Remmel},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Agent Based Velocity Control of Highway Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {174--214},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031561},
doi = {10.1007/BFB0031561},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KohnNR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KolenZ96,
author = {John F. Kolen and
Feng Zhao},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {A Computatuional Analysis of the Reachability Problem for a Class
of Hybrid Dynamical Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {215--227},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031562},
doi = {10.1007/BFB0031562},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KolenZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KourjanskiV96,
author = {Mikhail Kourjanski and
Pravin Varaiya},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {A Class of Rectangular Hybrid Systems with Computable Reach Set},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {228--234},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031563},
doi = {10.1007/BFB0031563},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KourjanskiV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LemmonB96,
author = {Michael D. Lemmon and
Christopher J. Bett},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Safe Implementations of Supervisory Commands},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {235--247},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031564},
doi = {10.1007/BFB0031564},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LemmonB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NerodeRY96,
author = {Anil Nerode and
Jeffrey B. Remmel and
Alexander Yakhnis},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid System Games: Extraction of Control Automata with Small Topologies},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {248--293},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031565},
doi = {10.1007/BFB0031565},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NerodeRY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/OzgunerHIR96,
author = {{\"{U}}mit {\"{O}}zg{\"{u}}ner and
Cem Hatipoglu and
Altug Iftar and
Keith A. Redmill},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Control Design for a Three Vehicle Scenario Demonstration Using
Overlapping Decompositions},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {294--328},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031566},
doi = {10.1007/BFB0031566},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/OzgunerHIR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PappasS96,
author = {George J. Pappas and
Shankar Sastry},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Towards Continuous Abstractions of Dynamical and Control Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {329--341},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031567},
doi = {10.1007/BFB0031567},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PappasS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RaischO96,
author = {J{\"{o}}rg Raisch and
Siu O'Young},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {A Totally Ordered Set of Discrete Abstractions for a given Hybrid
Continuous System},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {342--360},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031568},
doi = {10.1007/BFB0031568},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RaischO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/StursbergKHP96,
author = {Olaf Stursberg and
Stefan Kowalewski and
Ingo Hoffmann and
J{\"{o}}rg Preu{\ss}ig},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Comparing Timed and Hybrid Automata as Approximations of Continuous
Systems},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {361--377},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031569},
doi = {10.1007/BFB0031569},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/StursbergKHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/TomlinPLGS96,
author = {Claire J. Tomlin and
George J. Pappas and
John Lygeros and
Datta N. Godbole and
Shankar Sastry},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Hybrid Control Models of Next Generarion AIr Traffic Management},
booktitle = {Hybrid Systems IV, Proceedings of the Fourth International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1996},
series = {Lecture Notes in Computer Science},
volume = {1273},
pages = {378--404},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031570},
doi = {10.1007/BFB0031570},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/TomlinPLGS96.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 2024-11-13 22:46 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:
