"Extracting Hybrid Automata from Control Code"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Hybrid Feedback Control	Ricardo G. Sanfelice	2021	Princeton University Press
Logic Synthesis for Control Automata	Samary Baranov	1994	Springer US
Extracting gold from oil	Emmett M. Howard	1938	American Vocational Institute
Hybrid control system simulation	Lowell J. Holloway	1965	Naval Postgraduate School
Extracting meaning from the past	J. L. Bintliff	1988	Oxbow Books
Optimal Control of Hybrid Vehicles	Bram de Jager; Thijs van Keulen; John Kessels	2013	Springer London
Hybrid Dynamical Systems: Observation and Control	Mohamed Djemai; Michael Defoort	2015	Springer International Publishing
Hybrid Systems III: Verification and Control	Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag	1996	Springer Berlin Heidelberg
Mathematical Control Theory I: Nonlinear and Hybrid Control Systems	M. Kanat Camlibel; A. Agung Julius; Ramkrishna Pasumarthy; Jacquelien M.A. Scherpen	2015	Springer International Publishing
Extracting the Precious from Nehemiah: A Bible Study for Women (Extracting Precious Study)	Donna Partow	August 1, 2004	Bethany House
Hybrid Systems, Optimal Control and Hybrid Vehicles: Theory, Methods and Applications	Thomas J. Böhme; Benjamin Frank	1st ed. 2017	Springer International Publishing
Grading Knowledge: Extracting Degree Information from Texts	Steffen Staab	1999	Springer Berlin Heidelberg
Extracting the Precious from 2nd Corinthians: A Bible Study for Women (Extracting Precious Study)	Donna Partow	August 1, 2003	Bethany House
Fault Tolerant Control Design for Hybrid Systems	Hao Yang; Bin Jiang; Vincent Cocquempot	2010	Springer Berlin Heidelberg
Hybrid Predictive Control for Dynamic Transport Problems	Alfredo Nunez; Doris Saez; Cristián E. Cortés	2013	Springer London
Decision and Control in Hybrid Wind Farms	Harsh S. Dhiman; Dipankar Deb	1st ed. 2020	Springer Nature Singapore
Cooperative Optimal Control of Hybrid Energy Systems	Dong Yue; Huifeng Zhang; Chunxia Dou	1st ed. 2021	Springer Nature Singapore
Predictive control for linear and hybrid systems /	Borrelli, Francesco,; Bemporad, Alberto,; Morari, Manfred,		Cambridge University Press
Dynamics and Control of Hybrid Mechanical Systems	Gennady Leonov, Gennady Leonov, Henk Nijmeijer, Alexander Pogromsky, Alexander Fradkov	2010	World Scientific Pub Co (
Nonlinear and Hybrid Systems in Automotive Control	Rolf Johansson	November 19, 2002	Springer
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
Extracting Hybrid Automata from Control Code	Steven Lyde; Matthew Might	NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings	Guillaume Brat; Neha Rungta; Arnaud Venet	2013	Springer Berlin Heidelberg
Hybrid automata		Theoretical Computer Science, Volume 285, Issue 2, Pages 119-564 (28 August 2002), Rewriting Logic and its Applications	N. Marti-Oliet, J. Mesegue (eds.)
44 Extracting Models from Code		The science of cybersecurity and a roadmap to research	Benjamin J. Colfer (editor)	2011	Nova Science Publishers, Inc.
Extracting Demo Code		Creating GUI Applications with wxPython	Michael Driscoll	2019	leanpub.com
Extracting common code		Webpack 5 Up and Running: A quick and practical introduction to the JavaScript application bundler	Tom Owens	2020	Packt Publishing
N - From Hybrid Petri Nets to Hybrid Automata		Discrete, Continuous, and Hybrid Petri Nets	René David, Hassane Alla	2010	Springer
Extracting Architectural Features from Source Code	David R. Harris; Alexander S. Yeh; Howard B. Reubenstein	Reverse Engineering	Linda M. Wills; Philip Newcomb	1996	Springer US
Extracting Business Rules from Source Code	H. M. Sneed and K. Erdos	Fourth Workshop on Program Comprehension: proceedings, March 29-31, 1996, Berlin, Germany /	Cimitile, Aniello.; Müller, Hausi A.	[1996], ©1996.	IEEE Computer Society Press,
3 - Hybrid automata	S. Kowalewski; M. Garavello; H. Guéguen; G. Herberich; R. Langerak; B. Piccoli; J. W. Polderman; C. Weise	Handbook of Hybrid Systems Control: Theory, Tools, Applications	Jan Lunze; Françoise Lamnabhi-Lagarrigue	2009-10	Cambridge University Press
22 Hybrid automata		Hybrid dynamical systems: an introduction to control and verification	Antsaklis, Panos J.; Lin, Hai	2014	Now Publishers
44 Hybrid automata		Hybrid dynamical systems: an introduction to control and verification	Antsaklis, Panos J.; Lin, Hai	2014	Now Publishers
Optimal Control of Discrete Hybrid Stochastic Automata	Alberto Bemporad; Stefano Di Cairano	Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings	Manfred Morari; Lothar Thiele; Francesca Rossi	2005	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
Full Paper Sheet Control Using Hybrid Automata	Rene Sanchez; Roberto Horowitz; Masayoshi Tomizuka; Slobodan N. Simić	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
Extracting Zing Models from C Source Code	Tomas Matousek; Filip Zavoral	SOFSEM 2007: Theory and Practice of Computer Science: 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings	Jan van Leeuwen; Giuseppe F. Italiano; Wiebe van der Hoek; Christoph Meinel; Harald Sack; František Plášil	2007	Springer Berlin Heidelberg
Synthesis of Control Software in a Layered Architecture from Hybrid Automata	Man Lin	Hybrid Systems: Computation and Control: Second International Workshop, HSCC' 99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings	Frits W. Vaandrager; Jan H. van Schuppen	1999	Springer Berlin Heidelberg
Extracting Code to Functions		Kotlin Programming: The Big Nerd Ranch Guide	Andrew Bailey, David Greenhalgh and Josh Skeen	2021	Big Nerd Ranch, LLC
Extracting Our Startup Code		Zero to Production in Rust: An Opinionated Introduction to Backend Development	Luca Palmieri	2021	Independently Published
Extracting Our Startup Code		Zero to Production in Rust: An Opinionated Introduction to Backend Development	Luca Palmieri	2022	Independently Published
841 Extracting common code		Building Git	James Coglan	2020	James Coglan
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Extracting Hybrid Automata from Control Code" - similar Books and Chapters