Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(hybrid automata). Showing records 1 – 27 of 27 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Université de Grenoble

1. Batis, Sonia. Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires : Control of a class of hybrid systems by rectangular hybrid automata.

Degree: Docteur es, Sciences et technologie industrielles, 2013, Université de Grenoble

Notre travail de recherche concerne l’étude de la commande à base de modèles pour une sous-classe de systèmes dynamiques hybrides (SDH). L’outil de modélisation choisi… (more)

Subjects/Keywords: Systèmes hybrides; Synthèse de contrôleurs; Automates hybrides rectangulaires; Hybrid systems; Controller synthesis; Rectangular hybrid automata

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Batis, S. (2013). Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires : Control of a class of hybrid systems by rectangular hybrid automata. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2013GRENT025

Chicago Manual of Style (16th Edition):

Batis, Sonia. “Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires : Control of a class of hybrid systems by rectangular hybrid automata.” 2013. Doctoral Dissertation, Université de Grenoble. Accessed October 19, 2020. http://www.theses.fr/2013GRENT025.

MLA Handbook (7th Edition):

Batis, Sonia. “Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires : Control of a class of hybrid systems by rectangular hybrid automata.” 2013. Web. 19 Oct 2020.

Vancouver:

Batis S. Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires : Control of a class of hybrid systems by rectangular hybrid automata. [Internet] [Doctoral dissertation]. Université de Grenoble; 2013. [cited 2020 Oct 19]. Available from: http://www.theses.fr/2013GRENT025.

Council of Science Editors:

Batis S. Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires : Control of a class of hybrid systems by rectangular hybrid automata. [Doctoral Dissertation]. Université de Grenoble; 2013. Available from: http://www.theses.fr/2013GRENT025


Université de Grenoble

2. Karoui, Mohamed. Surveillance des processus dynamiques évènementiels : Monitoring of the event-driven dynamic processes.

Degree: Docteur es, Sciences et technologie industrielles, 2011, Université de Grenoble

Dans le cadre de ce sujet de thèse, on s'intéresse à la surveillance des systèmes hybrides à forte dynamique événementielle. L'objectif est de détecter les… (more)

Subjects/Keywords: Surveillance; Automate hybride linéaire; Analyse d'atteignabilité; Monitoring; Hybrid automata; Reachability analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Karoui, M. (2011). Surveillance des processus dynamiques évènementiels : Monitoring of the event-driven dynamic processes. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2011GRENT110

Chicago Manual of Style (16th Edition):

Karoui, Mohamed. “Surveillance des processus dynamiques évènementiels : Monitoring of the event-driven dynamic processes.” 2011. Doctoral Dissertation, Université de Grenoble. Accessed October 19, 2020. http://www.theses.fr/2011GRENT110.

MLA Handbook (7th Edition):

Karoui, Mohamed. “Surveillance des processus dynamiques évènementiels : Monitoring of the event-driven dynamic processes.” 2011. Web. 19 Oct 2020.

Vancouver:

Karoui M. Surveillance des processus dynamiques évènementiels : Monitoring of the event-driven dynamic processes. [Internet] [Doctoral dissertation]. Université de Grenoble; 2011. [cited 2020 Oct 19]. Available from: http://www.theses.fr/2011GRENT110.

Council of Science Editors:

Karoui M. Surveillance des processus dynamiques évènementiels : Monitoring of the event-driven dynamic processes. [Doctoral Dissertation]. Université de Grenoble; 2011. Available from: http://www.theses.fr/2011GRENT110


University of Illinois – Chicago

3. Feng, Yao. Property-Based Fault Detection and Diagnosis for Safety-Critical Cyber-Physical Systems.

Degree: 2018, University of Illinois – Chicago

 A large variety of modern applications including autonomous cars, energy systems and medical devices are referred to as Cyber-Physical Systems (CPSs). Runtime monitoring of CPSs… (more)

Subjects/Keywords: Hybrid automata; Properties; Particle filter; Concrrency; Importance weight; Unmodeled fault detection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Feng, Y. (2018). Property-Based Fault Detection and Diagnosis for Safety-Critical Cyber-Physical Systems. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/23056

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Feng, Yao. “Property-Based Fault Detection and Diagnosis for Safety-Critical Cyber-Physical Systems.” 2018. Thesis, University of Illinois – Chicago. Accessed October 19, 2020. http://hdl.handle.net/10027/23056.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Feng, Yao. “Property-Based Fault Detection and Diagnosis for Safety-Critical Cyber-Physical Systems.” 2018. Web. 19 Oct 2020.

Vancouver:

Feng Y. Property-Based Fault Detection and Diagnosis for Safety-Critical Cyber-Physical Systems. [Internet] [Thesis]. University of Illinois – Chicago; 2018. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/10027/23056.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Feng Y. Property-Based Fault Detection and Diagnosis for Safety-Critical Cyber-Physical Systems. [Thesis]. University of Illinois – Chicago; 2018. Available from: http://hdl.handle.net/10027/23056

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Iowa State University

4. Knutson, Jeremy D. A survey of the use of cellular automata and cellular automata-like models for simulating a population of biological cells.

Degree: 2011, Iowa State University

 The purpose of this thesis is to survey a few of the cellular automata and cellular automata-like models which have been used in mathematical biology… (more)

Subjects/Keywords: agent based models; cellular automata; cellular Potts model; hybrid models; Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Knutson, J. D. (2011). A survey of the use of cellular automata and cellular automata-like models for simulating a population of biological cells. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/10133

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Knutson, Jeremy D. “A survey of the use of cellular automata and cellular automata-like models for simulating a population of biological cells.” 2011. Thesis, Iowa State University. Accessed October 19, 2020. https://lib.dr.iastate.edu/etd/10133.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Knutson, Jeremy D. “A survey of the use of cellular automata and cellular automata-like models for simulating a population of biological cells.” 2011. Web. 19 Oct 2020.

Vancouver:

Knutson JD. A survey of the use of cellular automata and cellular automata-like models for simulating a population of biological cells. [Internet] [Thesis]. Iowa State University; 2011. [cited 2020 Oct 19]. Available from: https://lib.dr.iastate.edu/etd/10133.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Knutson JD. A survey of the use of cellular automata and cellular automata-like models for simulating a population of biological cells. [Thesis]. Iowa State University; 2011. Available from: https://lib.dr.iastate.edu/etd/10133

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Tennessee – Knoxville

5. Heise, David Aaron. Automated Generation of Simulink Models for Enumeration Hybrid Automata.

Degree: MS, Computer Engineering, 2013, University of Tennessee – Knoxville

  An enumeration hybrid automaton has been shown in principle to be ready for automated transformation into a Simulink implementation. This paper describes a strategy… (more)

Subjects/Keywords: MATLAB; Simulink; Hybrid Automata; Specification; Other Computer Engineering; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Heise, D. A. (2013). Automated Generation of Simulink Models for Enumeration Hybrid Automata. (Thesis). University of Tennessee – Knoxville. Retrieved from https://trace.tennessee.edu/utk_gradthes/2421

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Heise, David Aaron. “Automated Generation of Simulink Models for Enumeration Hybrid Automata.” 2013. Thesis, University of Tennessee – Knoxville. Accessed October 19, 2020. https://trace.tennessee.edu/utk_gradthes/2421.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Heise, David Aaron. “Automated Generation of Simulink Models for Enumeration Hybrid Automata.” 2013. Web. 19 Oct 2020.

Vancouver:

Heise DA. Automated Generation of Simulink Models for Enumeration Hybrid Automata. [Internet] [Thesis]. University of Tennessee – Knoxville; 2013. [cited 2020 Oct 19]. Available from: https://trace.tennessee.edu/utk_gradthes/2421.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Heise DA. Automated Generation of Simulink Models for Enumeration Hybrid Automata. [Thesis]. University of Tennessee – Knoxville; 2013. Available from: https://trace.tennessee.edu/utk_gradthes/2421

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Tennessee – Knoxville

6. Prescott, Aaron Matthew. Characterizing Signal Transduction Networks and Biological Responses Using Computer Simulations and Machine Learning.

Degree: 2018, University of Tennessee – Knoxville

 The use of computer simulations in biology is often limited due to the lack of experimentally measured parameters. In these scenarios, parameter exploration can be… (more)

Subjects/Keywords: machine learning; computer simulations; hybrid cellular automata; signal transduction; evolutionary algorithm; computational biology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Prescott, A. M. (2018). Characterizing Signal Transduction Networks and Biological Responses Using Computer Simulations and Machine Learning. (Doctoral Dissertation). University of Tennessee – Knoxville. Retrieved from https://trace.tennessee.edu/utk_graddiss/4941

Chicago Manual of Style (16th Edition):

Prescott, Aaron Matthew. “Characterizing Signal Transduction Networks and Biological Responses Using Computer Simulations and Machine Learning.” 2018. Doctoral Dissertation, University of Tennessee – Knoxville. Accessed October 19, 2020. https://trace.tennessee.edu/utk_graddiss/4941.

MLA Handbook (7th Edition):

Prescott, Aaron Matthew. “Characterizing Signal Transduction Networks and Biological Responses Using Computer Simulations and Machine Learning.” 2018. Web. 19 Oct 2020.

Vancouver:

Prescott AM. Characterizing Signal Transduction Networks and Biological Responses Using Computer Simulations and Machine Learning. [Internet] [Doctoral dissertation]. University of Tennessee – Knoxville; 2018. [cited 2020 Oct 19]. Available from: https://trace.tennessee.edu/utk_graddiss/4941.

Council of Science Editors:

Prescott AM. Characterizing Signal Transduction Networks and Biological Responses Using Computer Simulations and Machine Learning. [Doctoral Dissertation]. University of Tennessee – Knoxville; 2018. Available from: https://trace.tennessee.edu/utk_graddiss/4941


Indian Institute of Science

7. Lata, Kusum. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.

Degree: PhD, Faculty of Engineering, 2011, Indian Institute of Science

 The conventional approach to validate the analog and mixed signal designs utilizes extensive SPICE-level simulations. The main challenge in this approach is to know when… (more)

Subjects/Keywords: Signal Processing - Simulation; Hybrid System Verification; Analog and Mixed Signal Design Verification; Formal Verification; Checkmate Formal Verification; Integrated Circuits - Simulation; Digital Simulation; Automata; Hybrid Automata; Hybrid Systems; AMS Designs; Analog and Mixed Signal Designs; Communication Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lata, K. (2011). Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. (Doctoral Dissertation). Indian Institute of Science. Retrieved from http://etd.iisc.ac.in/handle/2005/1271

Chicago Manual of Style (16th Edition):

Lata, Kusum. “Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.” 2011. Doctoral Dissertation, Indian Institute of Science. Accessed October 19, 2020. http://etd.iisc.ac.in/handle/2005/1271.

MLA Handbook (7th Edition):

Lata, Kusum. “Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces.” 2011. Web. 19 Oct 2020.

Vancouver:

Lata K. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. [Internet] [Doctoral dissertation]. Indian Institute of Science; 2011. [cited 2020 Oct 19]. Available from: http://etd.iisc.ac.in/handle/2005/1271.

Council of Science Editors:

Lata K. Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces. [Doctoral Dissertation]. Indian Institute of Science; 2011. Available from: http://etd.iisc.ac.in/handle/2005/1271

8. Theissing, Simon. Supervision en transport multimodal : Supervision in Multi-Modal Transportation System.

Degree: Docteur es, Informatique, 2016, Université Paris-Saclay (ComUE)

 Les réseaux de transport multimodaux modernes sont essentiels pour la durabilité écologique et l’aisance économique des agglomérations urbaines, par conséquent aussi pour la qualité de… (more)

Subjects/Keywords: Automates hybrides; Réseaux de Petri; Modélisation des flux des passagers; Hybrid automata; Petri nets; Passenger-Centric modelling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Theissing, S. (2016). Supervision en transport multimodal : Supervision in Multi-Modal Transportation System. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2016SACLN076

Chicago Manual of Style (16th Edition):

Theissing, Simon. “Supervision en transport multimodal : Supervision in Multi-Modal Transportation System.” 2016. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed October 19, 2020. http://www.theses.fr/2016SACLN076.

MLA Handbook (7th Edition):

Theissing, Simon. “Supervision en transport multimodal : Supervision in Multi-Modal Transportation System.” 2016. Web. 19 Oct 2020.

Vancouver:

Theissing S. Supervision en transport multimodal : Supervision in Multi-Modal Transportation System. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2016. [cited 2020 Oct 19]. Available from: http://www.theses.fr/2016SACLN076.

Council of Science Editors:

Theissing S. Supervision en transport multimodal : Supervision in Multi-Modal Transportation System. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2016. Available from: http://www.theses.fr/2016SACLN076


Syracuse University

9. Irwin, Robert J. The Differential Scheme and Quantum Computation.

Degree: PhD, Electrical Engineering and Computer Science, 2011, Syracuse University

  It is well-known that standard models of computation are representable as simple dynamical systems that evolve in discrete time, and that systems that evolve… (more)

Subjects/Keywords: Cellular Automata; Convergence Spaces; Differential Scheme; Dynamical Systems; Hybrid Computation; Quantum Computation; Electrical and Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Irwin, R. J. (2011). The Differential Scheme and Quantum Computation. (Doctoral Dissertation). Syracuse University. Retrieved from https://surface.syr.edu/eecs_etd/309

Chicago Manual of Style (16th Edition):

Irwin, Robert J. “The Differential Scheme and Quantum Computation.” 2011. Doctoral Dissertation, Syracuse University. Accessed October 19, 2020. https://surface.syr.edu/eecs_etd/309.

MLA Handbook (7th Edition):

Irwin, Robert J. “The Differential Scheme and Quantum Computation.” 2011. Web. 19 Oct 2020.

Vancouver:

Irwin RJ. The Differential Scheme and Quantum Computation. [Internet] [Doctoral dissertation]. Syracuse University; 2011. [cited 2020 Oct 19]. Available from: https://surface.syr.edu/eecs_etd/309.

Council of Science Editors:

Irwin RJ. The Differential Scheme and Quantum Computation. [Doctoral Dissertation]. Syracuse University; 2011. Available from: https://surface.syr.edu/eecs_etd/309


University of Illinois – Urbana-Champaign

10. Manamcheri Sukumar, Karthikeyan. Translation of Simulink-Stateflow models to hybrid automata.

Degree: MS, 1200, 2011, University of Illinois – Urbana-Champaign

 Formal analysis of Simulink/Stateflow (SLSF) diagrams requires association of semantics to these diagrams. In this thesis, we present a technique and the related tool called… (more)

Subjects/Keywords: Translation of Simulink Stateflow; Hybrid Automata; Simulink Stateflow models; Verification of Simulink Stateflow; Semantics of Simulink Stateflow

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Manamcheri Sukumar, K. (2011). Translation of Simulink-Stateflow models to hybrid automata. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26197

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Manamcheri Sukumar, Karthikeyan. “Translation of Simulink-Stateflow models to hybrid automata.” 2011. Thesis, University of Illinois – Urbana-Champaign. Accessed October 19, 2020. http://hdl.handle.net/2142/26197.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Manamcheri Sukumar, Karthikeyan. “Translation of Simulink-Stateflow models to hybrid automata.” 2011. Web. 19 Oct 2020.

Vancouver:

Manamcheri Sukumar K. Translation of Simulink-Stateflow models to hybrid automata. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/2142/26197.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Manamcheri Sukumar K. Translation of Simulink-Stateflow models to hybrid automata. [Thesis]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26197

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Delft University of Technology

11. Lin, Q. Intelligent control systems: Learning, interpreting, verification.

Degree: 2019, Delft University of Technology

 Automatic control is a technique about designing control devices for controlling ma- chinery processes without human intervention. However, devising controllers using conventional control theory requires… (more)

Subjects/Keywords: intelligent control; hybrid automata learning; safety verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lin, Q. (2019). Intelligent control systems: Learning, interpreting, verification. (Doctoral Dissertation). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; urn:NBN:nl:ui:24-uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; 7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; 10.4233/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; urn:NBN:nl:ui:24-uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; http://resolver.tudelft.nl/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd

Chicago Manual of Style (16th Edition):

Lin, Q. “Intelligent control systems: Learning, interpreting, verification.” 2019. Doctoral Dissertation, Delft University of Technology. Accessed October 19, 2020. http://resolver.tudelft.nl/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; urn:NBN:nl:ui:24-uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; 7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; 10.4233/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; urn:NBN:nl:ui:24-uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; http://resolver.tudelft.nl/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd.

MLA Handbook (7th Edition):

Lin, Q. “Intelligent control systems: Learning, interpreting, verification.” 2019. Web. 19 Oct 2020.

Vancouver:

Lin Q. Intelligent control systems: Learning, interpreting, verification. [Internet] [Doctoral dissertation]. Delft University of Technology; 2019. [cited 2020 Oct 19]. Available from: http://resolver.tudelft.nl/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; urn:NBN:nl:ui:24-uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; 7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; 10.4233/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; urn:NBN:nl:ui:24-uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; http://resolver.tudelft.nl/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd.

Council of Science Editors:

Lin Q. Intelligent control systems: Learning, interpreting, verification. [Doctoral Dissertation]. Delft University of Technology; 2019. Available from: http://resolver.tudelft.nl/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; urn:NBN:nl:ui:24-uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; 7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; 10.4233/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; urn:NBN:nl:ui:24-uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd ; http://resolver.tudelft.nl/uuid:7b17a968-1414-4b84-bbf3-9a0c1197e1fd

12. Zaatiti, Hadi. Modélisation et simulation qualitative de systèmes hybrides : Modeling and qualitative simulation of hybrid systems.

Degree: Docteur es, Informatique, 2018, Université Paris-Saclay (ComUE)

Les systèmes hybrides sont au cœur des systèmes cyber-physiques. De tels systèmes représentent l’interaction de processus physiques continus modélisant généralement l'environnement avec des décisions discrètes… (more)

Subjects/Keywords: Automates hybrides; Méthodes formelles; Simulation Qualitative; Diagnosticabilité; Technique d'abstraction; Hybrid automata; Formal Methods; Qualitative Simulation; Diagnosability; Abstraction technics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zaatiti, H. (2018). Modélisation et simulation qualitative de systèmes hybrides : Modeling and qualitative simulation of hybrid systems. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2018SACLS493

Chicago Manual of Style (16th Edition):

Zaatiti, Hadi. “Modélisation et simulation qualitative de systèmes hybrides : Modeling and qualitative simulation of hybrid systems.” 2018. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed October 19, 2020. http://www.theses.fr/2018SACLS493.

MLA Handbook (7th Edition):

Zaatiti, Hadi. “Modélisation et simulation qualitative de systèmes hybrides : Modeling and qualitative simulation of hybrid systems.” 2018. Web. 19 Oct 2020.

Vancouver:

Zaatiti H. Modélisation et simulation qualitative de systèmes hybrides : Modeling and qualitative simulation of hybrid systems. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2018. [cited 2020 Oct 19]. Available from: http://www.theses.fr/2018SACLS493.

Council of Science Editors:

Zaatiti H. Modélisation et simulation qualitative de systèmes hybrides : Modeling and qualitative simulation of hybrid systems. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2018. Available from: http://www.theses.fr/2018SACLS493

13. Fifarek, Aaron W. Examination of Gain Scheduling and Fuzzy Controllers with Hybrid Reachability.

Degree: MSEE, Electrical Engineering, 2018, Wright State University

 Modern aircraft with nonlinear flight envelopes predominately utilize gain scheduled controllers to provide stability of flight. Using gain scheduled control techniques, nonlinear envelopes can be… (more)

Subjects/Keywords: Electrical Engineering; Computer Science; Gain Schedule Control; Fuzzy Logic Controller; Hybrid Automata; Reachability; FLC; HyLAA; HyST; SpaceEx; Stability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fifarek, A. W. (2018). Examination of Gain Scheduling and Fuzzy Controllers with Hybrid Reachability. (Masters Thesis). Wright State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=wright1547498667336372

Chicago Manual of Style (16th Edition):

Fifarek, Aaron W. “Examination of Gain Scheduling and Fuzzy Controllers with Hybrid Reachability.” 2018. Masters Thesis, Wright State University. Accessed October 19, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=wright1547498667336372.

MLA Handbook (7th Edition):

Fifarek, Aaron W. “Examination of Gain Scheduling and Fuzzy Controllers with Hybrid Reachability.” 2018. Web. 19 Oct 2020.

Vancouver:

Fifarek AW. Examination of Gain Scheduling and Fuzzy Controllers with Hybrid Reachability. [Internet] [Masters thesis]. Wright State University; 2018. [cited 2020 Oct 19]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1547498667336372.

Council of Science Editors:

Fifarek AW. Examination of Gain Scheduling and Fuzzy Controllers with Hybrid Reachability. [Masters Thesis]. Wright State University; 2018. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1547498667336372


Humboldt State University

14. Holt, Benjamin. A Stochastic spatial model for the consumption of organic forest soils in a smoldering ground fire.

Degree: MS, Environmental Systems: Mathematical Modeling, 2008, Humboldt State University

 A spatial model for the consumption of organic forest soil (duff) by smoldering combustion is developed. Smoldering ground fires have an enormous impact upon the… (more)

Subjects/Keywords: Stochastic modeling; Hybrid cellular automata; Fire; Organic soil; Duff; Spatial heterogeneity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Holt, B. (2008). A Stochastic spatial model for the consumption of organic forest soils in a smoldering ground fire. (Masters Thesis). Humboldt State University. Retrieved from http://hdl.handle.net/2148/297

Chicago Manual of Style (16th Edition):

Holt, Benjamin. “A Stochastic spatial model for the consumption of organic forest soils in a smoldering ground fire.” 2008. Masters Thesis, Humboldt State University. Accessed October 19, 2020. http://hdl.handle.net/2148/297.

MLA Handbook (7th Edition):

Holt, Benjamin. “A Stochastic spatial model for the consumption of organic forest soils in a smoldering ground fire.” 2008. Web. 19 Oct 2020.

Vancouver:

Holt B. A Stochastic spatial model for the consumption of organic forest soils in a smoldering ground fire. [Internet] [Masters thesis]. Humboldt State University; 2008. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/2148/297.

Council of Science Editors:

Holt B. A Stochastic spatial model for the consumption of organic forest soils in a smoldering ground fire. [Masters Thesis]. Humboldt State University; 2008. Available from: http://hdl.handle.net/2148/297

15. Ramirez, Ricardo, active 2013. Semi-formal verifcation of analog mixed signal systems using multi-domain modeling languages.

Degree: MSin Engineering, Electrical and Computer Engineering, 2013, University of Texas – Austin

 The verification of analog designs has been a challenging task for a few years now. Several approaches have been taken to tackle the main problem… (more)

Subjects/Keywords: Semi-formal verification; Analog mixed signal; Petri nets; Hybrid automata

Hybrid automata - Temperature Example . . . . . . . . . . . Hybrid automata - Temperature… …Example - State flow . . . . . Hybrid automata - Non-deterministic Finite-State Automata… …Hybrid automata - Train automation - Description . . . . . . Hybrid automata - Train automation… …States & Transitions . Hybrid automata - Train automation - Gate Automaton . . . Hybrid… …automata - Train automation - Gate Controller . . . . Hybrid automata - Buck Converter… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ramirez, Ricardo, a. 2. (2013). Semi-formal verifcation of analog mixed signal systems using multi-domain modeling languages. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/22749

Chicago Manual of Style (16th Edition):

Ramirez, Ricardo, active 2013. “Semi-formal verifcation of analog mixed signal systems using multi-domain modeling languages.” 2013. Masters Thesis, University of Texas – Austin. Accessed October 19, 2020. http://hdl.handle.net/2152/22749.

MLA Handbook (7th Edition):

Ramirez, Ricardo, active 2013. “Semi-formal verifcation of analog mixed signal systems using multi-domain modeling languages.” 2013. Web. 19 Oct 2020.

Vancouver:

Ramirez, Ricardo a2. Semi-formal verifcation of analog mixed signal systems using multi-domain modeling languages. [Internet] [Masters thesis]. University of Texas – Austin; 2013. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/2152/22749.

Council of Science Editors:

Ramirez, Ricardo a2. Semi-formal verifcation of analog mixed signal systems using multi-domain modeling languages. [Masters Thesis]. University of Texas – Austin; 2013. Available from: http://hdl.handle.net/2152/22749

16. Naseri Kouzehgarani, Asal. Mode identification using stochastic hybrid models with applications to conflict detection and resolution.

Degree: PhD, 4048, 2010, University of Illinois – Urbana-Champaign

 Most models of aircraft trajectories are non-linear and stochastic in nature; and their internal parameters are often poorly defined. The ability to model, simulate and… (more)

Subjects/Keywords: Stochastic Hybrid Systems; Hidden Markov Models; Hybrid Input/Output Automata; Decentralized Conflict detection and Resolution

…statistics . . . . . . . . . . . . . . . . 47 5.2 Aircraft hybrid input/output automata… …observer, hence the name Hidden Markov Model. Hybrid Input/Output Automata, HIOAs, are used in… …Hybrid Input/Output Automata (HIOA) HIOA is an automaton framework for describing… …partially observable probabilistic hybrid automata framework, which we call a Hybrid Hidden Markov… …Hybrid Automata A hybrid automaton is a state machine whose states can change by discrete… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Naseri Kouzehgarani, A. (2010). Mode identification using stochastic hybrid models with applications to conflict detection and resolution. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/16055

Chicago Manual of Style (16th Edition):

Naseri Kouzehgarani, Asal. “Mode identification using stochastic hybrid models with applications to conflict detection and resolution.” 2010. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed October 19, 2020. http://hdl.handle.net/2142/16055.

MLA Handbook (7th Edition):

Naseri Kouzehgarani, Asal. “Mode identification using stochastic hybrid models with applications to conflict detection and resolution.” 2010. Web. 19 Oct 2020.

Vancouver:

Naseri Kouzehgarani A. Mode identification using stochastic hybrid models with applications to conflict detection and resolution. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2010. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/2142/16055.

Council of Science Editors:

Naseri Kouzehgarani A. Mode identification using stochastic hybrid models with applications to conflict detection and resolution. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/16055

17. Santos, José Maria Novaes dos. Dispositivos adaptativos cooperantes: formulação e aplicação.

Degree: PhD, Sistemas Digitais, 2014, University of São Paulo

Com a crescente complexidade das aplicações e sistemas computacionais, atualmente tem se tornado importante o uso de formalismos de várias naturezas na representação e modelagem… (more)

Subjects/Keywords: Adaptive automata; Autômato adaptativo; Cooperating adaptive devices; Decision table; Dispositivos adaptativos cooperantes; Dispositivos híbridos; Formalismos dirigidos por regras; General game playing; Hybrid devices; Hybrid systems; Jogos gerais; Máquinas auto-modificáveis; Modelagem de sistemas reativos; Modelagem do comportamento de sistemas; Reactive systems; Reactive systems modeling; Rule-driven formalisms; Self-modifying machines; Sistemas híbridos; Sistemas reativos; Systems behavior modeling; Tabela de decisão

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Santos, J. M. N. d. (2014). Dispositivos adaptativos cooperantes: formulação e aplicação. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3141/tde-16112015-144910/ ;

Chicago Manual of Style (16th Edition):

Santos, José Maria Novaes dos. “Dispositivos adaptativos cooperantes: formulação e aplicação.” 2014. Doctoral Dissertation, University of São Paulo. Accessed October 19, 2020. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-16112015-144910/ ;.

MLA Handbook (7th Edition):

Santos, José Maria Novaes dos. “Dispositivos adaptativos cooperantes: formulação e aplicação.” 2014. Web. 19 Oct 2020.

Vancouver:

Santos JMNd. Dispositivos adaptativos cooperantes: formulação e aplicação. [Internet] [Doctoral dissertation]. University of São Paulo; 2014. [cited 2020 Oct 19]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-16112015-144910/ ;.

Council of Science Editors:

Santos JMNd. Dispositivos adaptativos cooperantes: formulação e aplicação. [Doctoral Dissertation]. University of São Paulo; 2014. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-16112015-144910/ ;


Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

18. Κοτίνη, Ισαβέλλα. Μοντελοποίηση και ανάλυση συστημάτων με υβριδικά αυτόματα.

Degree: 2003, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

Subjects/Keywords: Υβριδικά αυτόματα; Φορμαλιστικές μέθοδοι; Υβριδικά συστήματα; Προδιαγραφή συστημάτων; Επαλήθευση απαιτήσεων; Μοντελοποίηση; Ανάλυση; Hybrid automata; Formal methods; Hybrid systems; System specification; Requirements verification; Modelling; Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Κοτίνη, . . (2003). Μοντελοποίηση και ανάλυση συστημάτων με υβριδικά αυτόματα. (Thesis). Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Retrieved from http://hdl.handle.net/10442/hedi/15033

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Κοτίνη, Ισαβέλλα. “Μοντελοποίηση και ανάλυση συστημάτων με υβριδικά αυτόματα.” 2003. Thesis, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Accessed October 19, 2020. http://hdl.handle.net/10442/hedi/15033.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Κοτίνη, Ισαβέλλα. “Μοντελοποίηση και ανάλυση συστημάτων με υβριδικά αυτόματα.” 2003. Web. 19 Oct 2020.

Vancouver:

Κοτίνη . Μοντελοποίηση και ανάλυση συστημάτων με υβριδικά αυτόματα. [Internet] [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2003. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/10442/hedi/15033.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Κοτίνη . Μοντελοποίηση και ανάλυση συστημάτων με υβριδικά αυτόματα. [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 2003. Available from: http://hdl.handle.net/10442/hedi/15033

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Indian Institute of Science

19. Uttam Kumar, *. Algorithms For Geospatial Analysis Using Multi-Resolution Remote Sensing Data.

Degree: PhD, Faculty of Engineering, 2014, Indian Institute of Science

 Geospatial analysis involves application of statistical methods, algorithms and information retrieval techniques to geospatial data. It incorporates time into spatial databases and facilitates investigation of… (more)

Subjects/Keywords: Remote Sensing - Data Processing - Algorithms; Image Fusion; Landscape Dynamics; Urban Growth - Modeling and Simulation; Pixel Classification; Geospatial Analysis - Algorithms; Multi-resolution Remote Sensing Data; Land Use Pattern Classification; Coarse Resolution Pixels; Spatial Metrics; Hybrid Bayesian Classifier; Cellular Automata; Applied Optics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Uttam Kumar, *. (2014). Algorithms For Geospatial Analysis Using Multi-Resolution Remote Sensing Data. (Doctoral Dissertation). Indian Institute of Science. Retrieved from http://etd.iisc.ac.in/handle/2005/2280

Chicago Manual of Style (16th Edition):

Uttam Kumar, *. “Algorithms For Geospatial Analysis Using Multi-Resolution Remote Sensing Data.” 2014. Doctoral Dissertation, Indian Institute of Science. Accessed October 19, 2020. http://etd.iisc.ac.in/handle/2005/2280.

MLA Handbook (7th Edition):

Uttam Kumar, *. “Algorithms For Geospatial Analysis Using Multi-Resolution Remote Sensing Data.” 2014. Web. 19 Oct 2020.

Vancouver:

Uttam Kumar *. Algorithms For Geospatial Analysis Using Multi-Resolution Remote Sensing Data. [Internet] [Doctoral dissertation]. Indian Institute of Science; 2014. [cited 2020 Oct 19]. Available from: http://etd.iisc.ac.in/handle/2005/2280.

Council of Science Editors:

Uttam Kumar *. Algorithms For Geospatial Analysis Using Multi-Resolution Remote Sensing Data. [Doctoral Dissertation]. Indian Institute of Science; 2014. Available from: http://etd.iisc.ac.in/handle/2005/2280


Brno University of Technology

20. Holec, Dominik. Modelování a analýza vlivu ABS na chování vozidla: Modelling and Analysis of Impacts of ABS to Behavior of Vehicle.

Degree: 2019, Brno University of Technology

 Bachelor thesis discusses the ABS braking system and its influence on the braking distance of the vehicle. The thesis includes design, description of the development… (more)

Subjects/Keywords: ABS; brzdová sústava; brzdná dráha; brzdná sila; brzdový asistent; rýchlosť; vozidlo; simulácia; štatistické overovanie modelu; stochastické časované automaty; hybridný diskrétne spojitý model; ABS; braking system; braking distance; braking force; brake assistant; velocity; vehicle; simulation; statistical model checking; stochastic timed automata; discrete continuous hybrid model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Holec, D. (2019). Modelování a analýza vlivu ABS na chování vozidla: Modelling and Analysis of Impacts of ABS to Behavior of Vehicle. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/85193

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Holec, Dominik. “Modelování a analýza vlivu ABS na chování vozidla: Modelling and Analysis of Impacts of ABS to Behavior of Vehicle.” 2019. Thesis, Brno University of Technology. Accessed October 19, 2020. http://hdl.handle.net/11012/85193.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Holec, Dominik. “Modelování a analýza vlivu ABS na chování vozidla: Modelling and Analysis of Impacts of ABS to Behavior of Vehicle.” 2019. Web. 19 Oct 2020.

Vancouver:

Holec D. Modelování a analýza vlivu ABS na chování vozidla: Modelling and Analysis of Impacts of ABS to Behavior of Vehicle. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/11012/85193.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Holec D. Modelování a analýza vlivu ABS na chování vozidla: Modelling and Analysis of Impacts of ABS to Behavior of Vehicle. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/85193

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Notre Dame

21. Chandan Kumar Mozumder. Topometry Optimization of Sheet Metal Structures for Crashworthiness Design Using Hybrid Cellular Automata</h1>.

Degree: Aerospace and Mechanical Engineering, 2010, University of Notre Dame

  The objective in crashworthiness design is to generate plastically deformable energy absorbing structures which can satisfy the prescribed force-displacement (FD) response. The FD behavior… (more)

Subjects/Keywords: Force Displacement Response; Topometry Optimization; Dynamic Loading; Crashworthiness Design; Hybrid Cellular Automata; Nonlinear Transient Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mozumder, C. K. (2010). Topometry Optimization of Sheet Metal Structures for Crashworthiness Design Using Hybrid Cellular Automata</h1>. (Thesis). University of Notre Dame. Retrieved from https://curate.nd.edu/show/8049g447d14

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mozumder, Chandan Kumar. “Topometry Optimization of Sheet Metal Structures for Crashworthiness Design Using Hybrid Cellular Automata</h1>.” 2010. Thesis, University of Notre Dame. Accessed October 19, 2020. https://curate.nd.edu/show/8049g447d14.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mozumder, Chandan Kumar. “Topometry Optimization of Sheet Metal Structures for Crashworthiness Design Using Hybrid Cellular Automata</h1>.” 2010. Web. 19 Oct 2020.

Vancouver:

Mozumder CK. Topometry Optimization of Sheet Metal Structures for Crashworthiness Design Using Hybrid Cellular Automata</h1>. [Internet] [Thesis]. University of Notre Dame; 2010. [cited 2020 Oct 19]. Available from: https://curate.nd.edu/show/8049g447d14.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mozumder CK. Topometry Optimization of Sheet Metal Structures for Crashworthiness Design Using Hybrid Cellular Automata</h1>. [Thesis]. University of Notre Dame; 2010. Available from: https://curate.nd.edu/show/8049g447d14

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. Banerjee, Ayan. Model Based Safety Analysis and Verification of Cyber-Physical Systems.

Degree: PhD, Computer Science, 2012, Arizona State University

 Critical infrastructures in healthcare, power systems, and web services, incorporate cyber-physical systems (CPSes), where the software controlled computing systems interact with the physical environment through… (more)

Subjects/Keywords: Computer science; Health care management; Cyber-Physical Systems; Data centers; Formal Methods; Healthcare; Hybrid Automata

…1-D Space Spatio-Temporal Hybrid Automata . . . . . . . . . 128 6.4 L1STHA execution… …Pancreas . . . . . . . . . . . . . . 167 7.2 Modeling Artificial Pancreas with Hybrid Automata… …168 Linear Hybrid Automata . . . . . . . . . . . . . . . . . . . . . . . . 169 Hybrid… …Minimal Model . . . . . . . . . . . 171 Artificial Pancreas Hybrid Automata Model… …Safety Verification Results (HA = Hybrid Automata) . . . . . . . . . . . . 160 8.1… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Banerjee, A. (2012). Model Based Safety Analysis and Verification of Cyber-Physical Systems. (Doctoral Dissertation). Arizona State University. Retrieved from http://repository.asu.edu/items/15971

Chicago Manual of Style (16th Edition):

Banerjee, Ayan. “Model Based Safety Analysis and Verification of Cyber-Physical Systems.” 2012. Doctoral Dissertation, Arizona State University. Accessed October 19, 2020. http://repository.asu.edu/items/15971.

MLA Handbook (7th Edition):

Banerjee, Ayan. “Model Based Safety Analysis and Verification of Cyber-Physical Systems.” 2012. Web. 19 Oct 2020.

Vancouver:

Banerjee A. Model Based Safety Analysis and Verification of Cyber-Physical Systems. [Internet] [Doctoral dissertation]. Arizona State University; 2012. [cited 2020 Oct 19]. Available from: http://repository.asu.edu/items/15971.

Council of Science Editors:

Banerjee A. Model Based Safety Analysis and Verification of Cyber-Physical Systems. [Doctoral Dissertation]. Arizona State University; 2012. Available from: http://repository.asu.edu/items/15971


Virginia Tech

23. Erbes, Teodora. Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems.

Degree: MS, Electrical and Computer Engineering, 2004, Virginia Tech

 Dynamic Power Management (DPM) refers to the strategies employed at system level to reduce energy expenditure (i.e. to prolong battery life) in embedded systems. The… (more)

Subjects/Keywords: Stochastic; Hybrid; Automata; Reinforcement; Non-Linear; Linear; Feedback; Learning; Dynamic; Power Management; Non-Stationary; Stationary

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Erbes, T. (2004). Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/9709

Chicago Manual of Style (16th Edition):

Erbes, Teodora. “Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems.” 2004. Masters Thesis, Virginia Tech. Accessed October 19, 2020. http://hdl.handle.net/10919/9709.

MLA Handbook (7th Edition):

Erbes, Teodora. “Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems.” 2004. Web. 19 Oct 2020.

Vancouver:

Erbes T. Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems. [Internet] [Masters thesis]. Virginia Tech; 2004. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/10919/9709.

Council of Science Editors:

Erbes T. Stochastic Learning Feedback Hybrid Automata for Dynamic Power Management in Embedded Systems. [Masters Thesis]. Virginia Tech; 2004. Available from: http://hdl.handle.net/10919/9709

24. Roohi, Nima. Remedies for building reliable cyber-physical systems.

Degree: PhD, Computer Science, 2017, University of Illinois – Urbana-Champaign

 Cyber-physical systems (CPS) are systems that are tight integration of computer programs as controllers or cyber parts, and physical environments. The interaction is carried out… (more)

Subjects/Keywords: Hybrid automata; Cyber-physical systems; Formal model checking; Safety; Robust model checking; Counter example guided abstraction refinement (CEGAR)

Hybrid automata [1] is a popular formal model for cyber-physical systems, in which… …on hybrid automata variables and then asks whether it is possible for the hybrid automaton… …hybrid systems are timed automata [11], initialized rectangular automata [2]… …though the same problem for nonmonotonic rectangular hybrid automata is undecidable [15… …model specification. However, hybrid automata are supposed to model cyber-physical systems… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Roohi, N. (2017). Remedies for building reliable cyber-physical systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/98134

Chicago Manual of Style (16th Edition):

Roohi, Nima. “Remedies for building reliable cyber-physical systems.” 2017. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed October 19, 2020. http://hdl.handle.net/2142/98134.

MLA Handbook (7th Edition):

Roohi, Nima. “Remedies for building reliable cyber-physical systems.” 2017. Web. 19 Oct 2020.

Vancouver:

Roohi N. Remedies for building reliable cyber-physical systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/2142/98134.

Council of Science Editors:

Roohi N. Remedies for building reliable cyber-physical systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/98134

25. Snyder, Cory Firmin. Provable Run Time Safety Assurance for a Non-Linear System.

Degree: MSEgr, Electrical Engineering, 2013, Wright State University

 Systems that are modeled by non-linear continuous-time differential equations with uncertainparameters have proven to be exceptionally difficult to formally verify. The past few decadeshave produced… (more)

Subjects/Keywords: Engineering; Electrical Engineering; Computer Science; reachable sets; non-linear system; hybrid automata; PHAVer; SpaceEx; safety assurance; verification; run time assurance

…designed for hybrid automata to the problem of generating reachable sets for non-linear systems… …systems modeled as LHA. A LHA is a hybrid automata model with linear constraints on the… …provided the capability to generate reachable 6 sets for a wider class of hybrid automata [… …2]. Specifically, d/dt can work with hybrid automata that have continuous linear… …support function algorithm is applicable to hybrid automata with affine dynamics within each… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Snyder, C. F. (2013). Provable Run Time Safety Assurance for a Non-Linear System. (Masters Thesis). Wright State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=wright1369443661

Chicago Manual of Style (16th Edition):

Snyder, Cory Firmin. “Provable Run Time Safety Assurance for a Non-Linear System.” 2013. Masters Thesis, Wright State University. Accessed October 19, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=wright1369443661.

MLA Handbook (7th Edition):

Snyder, Cory Firmin. “Provable Run Time Safety Assurance for a Non-Linear System.” 2013. Web. 19 Oct 2020.

Vancouver:

Snyder CF. Provable Run Time Safety Assurance for a Non-Linear System. [Internet] [Masters thesis]. Wright State University; 2013. [cited 2020 Oct 19]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1369443661.

Council of Science Editors:

Snyder CF. Provable Run Time Safety Assurance for a Non-Linear System. [Masters Thesis]. Wright State University; 2013. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=wright1369443661

26. Khan, Muhammad Shahid. Supervisory Hybrid Control of a Wind Energy Conversion and Battery Storage System.

Degree: 2008, University of Toronto

This thesis presents a supervisory hybrid controller for the automatic operation and control of a wind energy conversion and battery storage system. The supervisory hybrid(more)

Subjects/Keywords: hybrid control; wind energy; supervisory control; linear control; micro grid; battery storage; induction generator; wind turbine; finite hybrid automata; microgrid; 0544

…69 Figure 4.2-1: Finite Hybrid Automata (FHA) of the wind energy conversion and… …Operating Logic Diagram STD: State Transition Diagram FHA: Finite Hybrid Automata FOS: Fault… …different system events. The transition routes are given by the hybrid automata shown in Figure… …To develop a systematic approach towards the hybrid automata based hybrid modeling and… …control of the wind energy conversion and battery storage system. The hybrid automata of a… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Khan, M. S. (2008). Supervisory Hybrid Control of a Wind Energy Conversion and Battery Storage System. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/11218

Chicago Manual of Style (16th Edition):

Khan, Muhammad Shahid. “Supervisory Hybrid Control of a Wind Energy Conversion and Battery Storage System.” 2008. Doctoral Dissertation, University of Toronto. Accessed October 19, 2020. http://hdl.handle.net/1807/11218.

MLA Handbook (7th Edition):

Khan, Muhammad Shahid. “Supervisory Hybrid Control of a Wind Energy Conversion and Battery Storage System.” 2008. Web. 19 Oct 2020.

Vancouver:

Khan MS. Supervisory Hybrid Control of a Wind Energy Conversion and Battery Storage System. [Internet] [Doctoral dissertation]. University of Toronto; 2008. [cited 2020 Oct 19]. Available from: http://hdl.handle.net/1807/11218.

Council of Science Editors:

Khan MS. Supervisory Hybrid Control of a Wind Energy Conversion and Battery Storage System. [Doctoral Dissertation]. University of Toronto; 2008. Available from: http://hdl.handle.net/1807/11218

27. Park, Jaeyong. Safe Controller Design for Intelligent Transportation System Applications using Reachability Analysis.

Degree: MS, Electrical and Computer Engineering, 2013, The Ohio State University

 Intelligent Transportation Systems (ITS) apply well-established technologies in communications, control, and computer hardware and software to increase safety and improve operational performance of the transportation… (more)

Subjects/Keywords: Electrical Engineering; Cyber-physical systems; intelligent transportation systems; hybrid systems; hybrid automata; reachability analysis; level set methods; hamilton-jacobi-isaacs equations; pursuit-evasion game; adaptive cruise control; collision avoidance

Automata of the Hybrid System HACC+CA . . . . . . . . . . . . . . . . 67 4.19 Simulation 1… …frameworks, this thesis will consider the combination of two perspectives: 1) hybrid automata… …as an “Automata Perspective.” The second approach is to systematically represent the hybrid… …12 2.2.1 Automata Perspective The most often used formal model for hybrid systems is… …the hybrid automata, which overlay finite automata on the system’s underlying continuous… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Park, J. (2013). Safe Controller Design for Intelligent Transportation System Applications using Reachability Analysis. (Masters Thesis). The Ohio State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=osu1366201401

Chicago Manual of Style (16th Edition):

Park, Jaeyong. “Safe Controller Design for Intelligent Transportation System Applications using Reachability Analysis.” 2013. Masters Thesis, The Ohio State University. Accessed October 19, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=osu1366201401.

MLA Handbook (7th Edition):

Park, Jaeyong. “Safe Controller Design for Intelligent Transportation System Applications using Reachability Analysis.” 2013. Web. 19 Oct 2020.

Vancouver:

Park J. Safe Controller Design for Intelligent Transportation System Applications using Reachability Analysis. [Internet] [Masters thesis]. The Ohio State University; 2013. [cited 2020 Oct 19]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1366201401.

Council of Science Editors:

Park J. Safe Controller Design for Intelligent Transportation System Applications using Reachability Analysis. [Masters Thesis]. The Ohio State University; 2013. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=osu1366201401

.