Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/hybrid/hybrid94.bht:"
download as .bib file
@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}
}
a service of 
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-05-12 04:18 CEST 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:
