"Verification and Control of Probabilistic Rectangular Hybrid Automata"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Hybrid Systems III: Verification and Control	Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag	1996	Springer Berlin Heidelberg
Probabilistic languages and automata.	Clarence Arthur Ellis	1969	Dept. of Computer Science, University of Illinois
Verification and Control of Hybrid Systems: A Symbolic Approach	Paulo Tabuada	2009	Springer US
Introduction to Probabilistic Automata	Azaria Paz and Werner Rheinboldt	1971	Academic Press
Hybrid dynamical systems: an introduction to control and verification	Antsaklis, Panos J.; Lin, Hai	2014	Now Publishers
Verification of Digital and Hybrid Systems	Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)	2000	Springer-Verlag Berlin Heidelberg
Verification of Digital and Hybrid Systems	M. Kemal Inan; Robert P. Kurshan	2000	Springer Berlin Heidelberg
Probabilistic Cellular Automata: Theory, Applications and Future Perspectives	Pierre-Yves Louis; Francesca R. Nardi	1st ed. 2018	Springer International Publishing
Verification and arms control	William C. Potter	1985	Lexington Books
Safety instrumented systems verification: practical probabilistic calculations /	Goble, William M.; Cheddie, Harry.	©2005.	ISA-The Instrumentation, Systems, and Automation Society,
Bibliography of arms control verification	David Scrivener	1990	Dartmouth Pub. Co.;Gower Pub. Co.
Hybrid Feedback Control	Ricardo G. Sanfelice	2021	Princeton University Press
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach	Robert P. Kurshan	1995	Princeton University Press
Computer-aided verification of coordinating processes: the automata-theoretic approach /	Kurshan, R. P.,	[1994], ©1994.	Princeton University Press,
Optimal Control of Hybrid Vehicles	Bram de Jager; Thijs van Keulen; John Kessels	2013	Springer London
Logic Synthesis for Control Automata	Samary Baranov	1994	Springer US
Survey Control Points: Compatibility and Verification	Gabriel Weiss, Erik Weiss, Roland Weiss, Slavomír Labant, Karol Bartoš (auth.)	2016	Springer International Publishing
Survey Control Points: Compatibility and Verification	Gabriel Weiss; Erik Weiss; Roland Weiss; Slavomír Labant; Karol Bartoš	1st ed. 2016	Springer International Publishing
The Verification Challenge: Problems and Promise of Strategic Nuclear Arms Control Verification	Richard A. Scribner; Theodore J. Ralston; William D. Metz	1985	Birkhäuser Boston
Formal Verification of Control System Software	Pierre-Loïc Garoche	2019	Princeton University Press
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Verification and Control of Probabilistic Rectangular Hybrid Automata	Jeremy Sproston	Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings	Sriram Sankaranarayanan; Enrico Vicario	1st ed. 2015	Springer International Publishing
Lazy Rectangular Hybrid Automata	Manindra Agrawal; P. S. Thiagarajan	Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings	Rajeev Alur; George Pappas	2004	Springer Berlin Heidelberg
Discrete-time control for rectangular hybrid automata	Thomas A. Henzinger; Peter W. Kopke	Automata, Languages and Programming: 24th International Colloquium, ICALP' 97, Bologna, Italy, July 7 - 11, 1997, Proceedings	Pierpaolo Degano; Roberto Gorrieri; Alberto Marchetti-Spaccamela	1997	Springer Berlin Heidelberg
3 Probabilistic Hybrid Automata	Michael W. Hofbaur	Hybrid Estimation of Complex Systems	Michael W. Hofbaur	2005	Springer Berlin Heidelberg
Hybrid cc, hybrid automata and program verification	Vineet Gupta; Radha Jagadeesan; Vijay Saraswat	Hybrid Systems III: Verification and Control	Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag	1996	Springer Berlin Heidelberg
Reachability verification for hybrid automata	Thomas A. Henzinger; Vlad Rusu	Hybrid Systems: Computation and Control: First International Workshop, HSCC' 98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings	Thomas A. Henzinger; Shankar Sastry	1998	Springer Berlin Heidelberg
Diagnosability Verification for Hybrid Automata	Maria Domenica Di Benedetto; Stefano Di Gennaro; Alessandro D’Innocenzo	Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings	Alberto Bemporad; Giorgio C Buttazzo; Antonio Bicchi	2007	Springer Berlin Heidelberg
Approximate Probabilistic Verification of Hybrid Systems	Benjamin M. Gyori; Bing Liu; Soumya Paul; R. Ramanathan; P. S. Thiagarajan	Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers	Alessandro Abate; David Safranek	1st ed. 2015	Springer International Publishing
Specification and Verification Techniques of Embedded Systems Using Probabilistic Linear Hybrid Automata	Yosuke Mutsuda; Takaaki Kato; Satoshi Yamane	Embedded Software and Systems: Second International Conference, ICESS 2005, Xi' an, China, December 16-18, 2005, Proceedings	Laurence T. Yang; Xingshe Zhou; Wei Zhao; Zhaohui Wu; Yian Zhu; Man Lin	2005	Springer Berlin Heidelberg
State equivalences for rectangular hybrid automata	Thomas A. Henzinger; Peter W. Kopke	CONCUR ' 96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings	Ugo Montanari; Vladimiro Sassone	1996	Springer Berlin Heidelberg
State Equivalences for Rectangular Hybrid Automata	Thomas Henzinger and Peter Kopke	Concur '96: concurrency theory: 7th International Conference, Pisa, Italy, August 26-29, 1996: proceedings /	Montanari, U.; Sassone, Vladimiro.	[1996], ©1996.	Springer,
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems	Pavithra Prabhakar; Parasara Sridhar Duggirala; Sayan Mitra; Mahesh Viswanathan	Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings	Roberto Giacobazzi; Josh Berdine; Isabella Mastroeni	2013	Springer Berlin Heidelberg
Decidable Model Checking of Probabilistic Hybrid Automata	Jeremy Sproston	Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings	Mathai Joseph	2000	Springer Berlin Heidelberg
Regional Control of Probabilistic Cellular Automata	Franco Bagnoli; Sara Dridi; Samira El Yacoubi; Raúl Rechtman	Cellular Automata: 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings	Giancarlo Mauri; Samira El Yacoubi; Alberto Dennunzio; Katsuhiro Nishinari; Luca Manzoni	1st ed. 2018	Springer International Publishing
Efficient Scenario Verification for Hybrid Automata	Alessandro Cimatti; Sergio Mover; Stefano Tonetta	Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings	Ganesh Gopalakrishnan; Shaz Qadeer	2011	Springer Berlin Heidelberg
Safety Verification for Probabilistic Hybrid Systems	Lijun Zhang; Zhikun She; Stefan Ratschan; Holger Hermanns; Ernst Moritz Hahn	Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings	Tayssir Touili; Byron Cook; Paul Jackson	2010	Springer Berlin Heidelberg
Stochastic Games for Verification of Probabilistic Timed Automata	Marta Kwiatkowska; Gethin Norman; David Parker	Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings	Joel Ouaknine; Frits W. Vaandrager	2009	Springer Berlin Heidelberg
Probabilistic Automata and Probabilistic Logic	Thomas Weidner	Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings	Branislav Rovan; Vladimiro Sassone; Peter Widmayer	2012	Springer Berlin Heidelberg
Bounded Verification of Reachability of Probabilistic Hybrid Systems	Ratan Lal; Pavithra Prabhakar	Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings	Annabelle McIver; Andras Horvath	1st ed. 2018	Springer International Publishing
Probabilistic verification	Richard Lassaigne; Michel de Rougemont	Logic and Complexity	Richard Lassaigne; Michel de Rougemont	2004	Springer London
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Verification and Control of Probabilistic Rectangular Hybrid Automata" - similar Books and Chapters