default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHybrid Systems 1991 and 1992
- Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Hybrid Systems. Lecture Notes in Computer Science 736, Springer 1993, ISBN 3-540-57318-6 - Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel:
Introduction. 1-3 - Zohar Manna, Amir Pnueli:
Verifying Hybrid Systems. 4-35 - Zhou Chaochen, Anders P. Ravn, Michael R. Hansen:
An Extended Duration Calculus for Hybrid Real-Time Systems. 36-59 - Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Towards Refining Temporal Specifications into Hybrid Systems. 60-76 - Leslie Lamport:
Hybrid Systems in TLA+. 77-102 - Reino Kurki-Suonio:
Hybrid Models with Fairness and Distributed Clocks. 103-120 - Jozef Hooman:
A Compositional Approach to the Design of Hybrid Systems. 121-148 - Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine:
An Approach to the Description and Analysis of Hybrid Systems. 149-178 - Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine:
Integration Graphs: A Class of Decidable Hybrid Systems. 179-208 - Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho:
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. 209-229 - Albert Benveniste, Michel Le Borgne, Paul Le Guernic:
Hybrid Systems: The SIGNAL Approach. 230-254 - Allen Back, John Guckenheimer, Mark Myers:
A Dynamical Simulation Facility for Hybrid Systems. 255-267 - Michael D. Lemmon, James A. Stiver, Panos J. Antsaklis:
Event Identification and Intelligent Hybrid Control. 268-296 - Anil Nerode, Wolf Kohn:
Multiple Agent Hybrid Control Architecture. 297-316 - Anil Nerode, Wolf Kohn:
Models for Hybrid Systems: Automata, Topologies, Controllability, Observability. 317-356 - Robert L. Grossman, Richard G. Larson:
Some Remarks About Flows in Hybrid Systems. 357-365 - Panos J. Antsaklis, James A. Stiver, Michael D. Lemmon:
Hybrid System Modeling and Autonomous Control Systems. 366-392 - Mogens Blanke, Søren Bøgh Nielsen, Rikke Bille Jørgensen:
Fault Accomodation in Feedback Control Systems. 393-425 - Tom Anderson, Rogério de Lemos, John S. Fitzgerald, Amer Saeed:
On Foraml Support for Industrial-Scale Requirements Analysis. 426-451 - Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen:
A Formal Approach to Computer Systems Requirements Documentation. 452-474
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.
last updated on 2024-11-14 21:11 CET 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:
