"Full Paper Sheet Control Using Hybrid Automata"

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
Hybrid control system simulation	Lowell J. Holloway	1965	Naval Postgraduate School
Modeling Chemical Systems using Cellular Automata	Lemont B. Kier; Paul G. Seybold; Chao-Kun Cheng	2005	Springer Netherlands
Optimal Control of Hybrid Vehicles	Bram de Jager; Thijs van Keulen; John Kessels	2013	Springer London
The history sheet or case-paper system	Henry F. Aveling; Mary E. E. James; W. L. Brodie-Hall	1909	P. S. King & son
Paper plus: unique projects using handmade paper	Nancy Worrell	1997	Krause Publications
Paper Quilting: Creative Designs Using Paper & Thread	Bridget Hoff	October 28, 2002	Sterling/Chapelle
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
Hybrid Systems, Optimal Control and Hybrid Vehicles: Theory, Methods and Applications	Thomas J. Böhme; Benjamin Frank	1st ed. 2017	Springer International Publishing
Hybrid Enhanced Oil Recovery using Smart Waterflooding	Ji Lee andKun Lee	2019	Gulf Professional Publishing
Graphical processing using hybrid analog-digital circuitry	David Paul Casasent	1965
Fact sheet on need to conserve paper bags	United States. War Food Administration. Office of Distribution	1944
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
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
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
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.)
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 Acceleration Using Real Vector Automata	Bernard Boigelot; Frédéric Herbreteau; Sébastien Jodogne	Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings	Warren A. Hunt; Jr.; Fabio Somenzi	2003	Springer Berlin Heidelberg
Behavior Based Robotics Using Hybrid Automata	Magnus Egerstedt	Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings	Nancy Lynch; Bruce Krogh	2000	Springer Berlin Heidelberg
On the design of hybrid control systems using automata models	Dang Van Hung; Wang Ji	Foundations of Software Technology and Theoretical Computer Science: 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings	Vijay Chandru; V. Vinay	1996	Springer Berlin Heidelberg
Full Hybrid		Hybrid and Alternative Fuel Vehicles	James D. Halderman, Tony Martin	2011	Prentice Hall
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-Body Hybrid Motor Control for Reaching	Wenjia Huang; Mubbasir Kapadia; Demetri Terzopoulos	Motion in Games: Third International Conference, MIG 2010, Utrecht, The Netherlands, November 14-16, 2010, Proceedings	Ronan Boulic; Yiorgos Chrysanthou; Taku Komura	2010	Springer Berlin Heidelberg
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
Hybrid Automata as Coalgebras	Renato Neves; Luis S. Barbosa	Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings	Augusto Sampaio; Farn Wang	1st ed. 2016	Springer International Publishing
Hybrid Extended Finite Automata	Henning Bordihn; Markus Holzer; Martin Kutrib	Implementation and Application of Automata: 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings	Oscar H. Ibarra; Hsu-Chun Yen	2006	Springer Berlin Heidelberg
On Transfinite Hybrid Automata	Katsunori Nakamura; Akira Fusaoka	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
3 Probabilistic Hybrid Automata	Michael W. Hofbaur	Hybrid Estimation of Complex Systems	Michael W. Hofbaur	2005	Springer Berlin Heidelberg
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
Weak Singular Hybrid Automata	Shankara Narayanan Krishna; Umang Mathur; Ashutosh Trivedi	Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings	Axel Legay; Marius Bozga	2014	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Full Paper Sheet Control Using Hybrid Automata" - similar Books and Chapters