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:(reachability analysis). Showing records 1 – 30 of 47 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Country

▼ Search Limiters


University of Connecticut

1. Wang, Heqiang. Reachability Analysis of Power Electronic Converters.

Degree: MS, Electrical Engineering, 2019, University of Connecticut

  This work presents a reachability analysis approach for dual active bridge (DAB) converters in the presence of heterogeneous uncertainties induced by manufacturing tolerance, temperature,… (more)

Subjects/Keywords: Reachability Analysis; Dual Active Bridge Converter

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, H. (2019). Reachability Analysis of Power Electronic Converters. (Masters Thesis). University of Connecticut. Retrieved from https://opencommons.uconn.edu/gs_theses/1381

Chicago Manual of Style (16th Edition):

Wang, Heqiang. “Reachability Analysis of Power Electronic Converters.” 2019. Masters Thesis, University of Connecticut. Accessed October 27, 2020. https://opencommons.uconn.edu/gs_theses/1381.

MLA Handbook (7th Edition):

Wang, Heqiang. “Reachability Analysis of Power Electronic Converters.” 2019. Web. 27 Oct 2020.

Vancouver:

Wang H. Reachability Analysis of Power Electronic Converters. [Internet] [Masters thesis]. University of Connecticut; 2019. [cited 2020 Oct 27]. Available from: https://opencommons.uconn.edu/gs_theses/1381.

Council of Science Editors:

Wang H. Reachability Analysis of Power Electronic Converters. [Masters Thesis]. University of Connecticut; 2019. Available from: https://opencommons.uconn.edu/gs_theses/1381


University of New South Wales

2. Shang, Lei. Efficient points-to analysis based on CFL-reachability summarisation.

Degree: Computer Science & Engineering, 2012, University of New South Wales

 Points-to analysis plays a critical role in modern compilers and a wide range of program understanding and bug detection tools. Nevertheless, developing precise and scalable… (more)

Subjects/Keywords: Summarisation; Points-to analysis; CFL-reachability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shang, L. (2012). Efficient points-to analysis based on CFL-reachability summarisation. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/52343 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11016/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Shang, Lei. “Efficient points-to analysis based on CFL-reachability summarisation.” 2012. Doctoral Dissertation, University of New South Wales. Accessed October 27, 2020. http://handle.unsw.edu.au/1959.4/52343 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11016/SOURCE01?view=true.

MLA Handbook (7th Edition):

Shang, Lei. “Efficient points-to analysis based on CFL-reachability summarisation.” 2012. Web. 27 Oct 2020.

Vancouver:

Shang L. Efficient points-to analysis based on CFL-reachability summarisation. [Internet] [Doctoral dissertation]. University of New South Wales; 2012. [cited 2020 Oct 27]. Available from: http://handle.unsw.edu.au/1959.4/52343 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11016/SOURCE01?view=true.

Council of Science Editors:

Shang L. Efficient points-to analysis based on CFL-reachability summarisation. [Doctoral Dissertation]. University of New South Wales; 2012. Available from: http://handle.unsw.edu.au/1959.4/52343 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:11016/SOURCE01?view=true


University of New South Wales

3. Peng, You. Path Analysis in Massive Networks.

Degree: Computer Science & Engineering, 2020, University of New South Wales

 Graph is a ubiquitous structure representing entities and their relationships applied in many areas such as social networks, web graphs, and biological networks. One of… (more)

Subjects/Keywords: Label-constrained Reachability; Path Analysis; Cycle Detection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Peng, Y. (2020). Path Analysis in Massive Networks. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/69888 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:71413/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Peng, You. “Path Analysis in Massive Networks.” 2020. Doctoral Dissertation, University of New South Wales. Accessed October 27, 2020. http://handle.unsw.edu.au/1959.4/69888 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:71413/SOURCE02?view=true.

MLA Handbook (7th Edition):

Peng, You. “Path Analysis in Massive Networks.” 2020. Web. 27 Oct 2020.

Vancouver:

Peng Y. Path Analysis in Massive Networks. [Internet] [Doctoral dissertation]. University of New South Wales; 2020. [cited 2020 Oct 27]. Available from: http://handle.unsw.edu.au/1959.4/69888 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:71413/SOURCE02?view=true.

Council of Science Editors:

Peng Y. Path Analysis in Massive Networks. [Doctoral Dissertation]. University of New South Wales; 2020. Available from: http://handle.unsw.edu.au/1959.4/69888 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:71413/SOURCE02?view=true


McMaster University

4. Chen, Wen. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.

Degree: PhD, 2015, McMaster University

 This work is concerned with analysing the potential impact of direct changes to large- scale enterprise systems, and, in particular, how to minimise testing efforts… (more)

Subjects/Keywords: software impact analysis; static analysis; dynamic analysis; reachability analysis; alias analysis; program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, W. (2015). A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/18275

Chicago Manual of Style (16th Edition):

Chen, Wen. “A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.” 2015. Doctoral Dissertation, McMaster University. Accessed October 27, 2020. http://hdl.handle.net/11375/18275.

MLA Handbook (7th Edition):

Chen, Wen. “A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.” 2015. Web. 27 Oct 2020.

Vancouver:

Chen W. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/11375/18275.

Council of Science Editors:

Chen W. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18275


University of Sydney

5. Hollingum, Nicholas. On the Practice and Application of Context-Free Language Reachability .

Degree: 2017, University of Sydney

 The Context-Free Language Reachability (CFL-R) formalism relates to some of the most important computational problems facing researchers and industry practitioners. CFL-R is a generalisation of… (more)

Subjects/Keywords: context-free languages; static analysis; points-to-analysis; datalog; reachability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hollingum, N. (2017). On the Practice and Application of Context-Free Language Reachability . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/17866

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):

Hollingum, Nicholas. “On the Practice and Application of Context-Free Language Reachability .” 2017. Thesis, University of Sydney. Accessed October 27, 2020. http://hdl.handle.net/2123/17866.

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

MLA Handbook (7th Edition):

Hollingum, Nicholas. “On the Practice and Application of Context-Free Language Reachability .” 2017. Web. 27 Oct 2020.

Vancouver:

Hollingum N. On the Practice and Application of Context-Free Language Reachability . [Internet] [Thesis]. University of Sydney; 2017. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2123/17866.

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

Council of Science Editors:

Hollingum N. On the Practice and Application of Context-Free Language Reachability . [Thesis]. University of Sydney; 2017. Available from: http://hdl.handle.net/2123/17866

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


University of Utah

6. Fisher, Andrew N. Efficient, sound formal verification for analog/mixed-signal circuits.

Degree: PhD, Electrical & Computer Engineering, 2015, University of Utah

 The increasing demand for smaller, more efficient circuits has created a need for both digital and analog designs to scale down. Digital technologies have been… (more)

Subjects/Keywords: Analog/Mixed Signal; Octagons; Reachability Analysis; verification; Zones

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fisher, A. N. (2015). Efficient, sound formal verification for analog/mixed-signal circuits. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3937/rec/840

Chicago Manual of Style (16th Edition):

Fisher, Andrew N. “Efficient, sound formal verification for analog/mixed-signal circuits.” 2015. Doctoral Dissertation, University of Utah. Accessed October 27, 2020. http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3937/rec/840.

MLA Handbook (7th Edition):

Fisher, Andrew N. “Efficient, sound formal verification for analog/mixed-signal circuits.” 2015. Web. 27 Oct 2020.

Vancouver:

Fisher AN. Efficient, sound formal verification for analog/mixed-signal circuits. [Internet] [Doctoral dissertation]. University of Utah; 2015. [cited 2020 Oct 27]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3937/rec/840.

Council of Science Editors:

Fisher AN. Efficient, sound formal verification for analog/mixed-signal circuits. [Doctoral Dissertation]. University of Utah; 2015. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/3937/rec/840


University of California – Berkeley

7. Chen, Mo. High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification.

Degree: Electrical Engineering & Computer Sciences, 2017, University of California – Berkeley

 Automation is becoming pervasive in everyday life, and many automated systems, such as unmanned aerial systems, autonomous cars, and many types of robots, are complex… (more)

Subjects/Keywords: Artificial intelligence; Robotics; Dimensionality reduction; Reachability analysis; Robotics; Unmanned Airspace; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, M. (2017). High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/8m7423mq

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):

Chen, Mo. “High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification.” 2017. Thesis, University of California – Berkeley. Accessed October 27, 2020. http://www.escholarship.org/uc/item/8m7423mq.

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

MLA Handbook (7th Edition):

Chen, Mo. “High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification.” 2017. Web. 27 Oct 2020.

Vancouver:

Chen M. High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification. [Internet] [Thesis]. University of California – Berkeley; 2017. [cited 2020 Oct 27]. Available from: http://www.escholarship.org/uc/item/8m7423mq.

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

Council of Science Editors:

Chen M. High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification. [Thesis]. University of California – Berkeley; 2017. Available from: http://www.escholarship.org/uc/item/8m7423mq

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


Université de Grenoble

8. 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 27, 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. 27 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 27]. 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


Vanderbilt University

9. -6946-9526. Verification of Learning-enabled Cyber-Physical Systems.

Degree: PhD, Computer Science, 2020, Vanderbilt University

 Deep Neural Networks (DNNs) have been increasingly applied in safety-critical applications such as self-driving cars, unmanned underwater vehicles (UUV), and medical image diagnostics recently. The… (more)

Subjects/Keywords: Deep Neural Networks; Verification; Reachability Analysis; Cyber-Physical Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-6946-9526. (2020). Verification of Learning-enabled Cyber-Physical Systems. (Doctoral Dissertation). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/15957

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-6946-9526. “Verification of Learning-enabled Cyber-Physical Systems.” 2020. Doctoral Dissertation, Vanderbilt University. Accessed October 27, 2020. http://hdl.handle.net/1803/15957.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-6946-9526. “Verification of Learning-enabled Cyber-Physical Systems.” 2020. Web. 27 Oct 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-6946-9526. Verification of Learning-enabled Cyber-Physical Systems. [Internet] [Doctoral dissertation]. Vanderbilt University; 2020. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/1803/15957.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-6946-9526. Verification of Learning-enabled Cyber-Physical Systems. [Doctoral Dissertation]. Vanderbilt University; 2020. Available from: http://hdl.handle.net/1803/15957

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


Vanderbilt University

10. Abdelaziz, Hamzah Ahmed. A Data-Driven Approach for Modeling, Analysis and Control of Stochastic Hybrid Systems using Gaussian Processes.

Degree: PhD, Electrical Engineering, 2018, Vanderbilt University

 The growing advances in information technologies have led to a new generation of systems known as cyber-physical systems (CPS). CPS are multi-discipline engineering systems, which… (more)

Subjects/Keywords: Gaussian Processes; Stochastic Hybrid Systems; Reachability Analysis; Cyber Physical Systems; Model Predictive Control; Model Learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abdelaziz, H. A. (2018). A Data-Driven Approach for Modeling, Analysis and Control of Stochastic Hybrid Systems using Gaussian Processes. (Doctoral Dissertation). Vanderbilt University. Retrieved from http://hdl.handle.net/1803/10418

Chicago Manual of Style (16th Edition):

Abdelaziz, Hamzah Ahmed. “A Data-Driven Approach for Modeling, Analysis and Control of Stochastic Hybrid Systems using Gaussian Processes.” 2018. Doctoral Dissertation, Vanderbilt University. Accessed October 27, 2020. http://hdl.handle.net/1803/10418.

MLA Handbook (7th Edition):

Abdelaziz, Hamzah Ahmed. “A Data-Driven Approach for Modeling, Analysis and Control of Stochastic Hybrid Systems using Gaussian Processes.” 2018. Web. 27 Oct 2020.

Vancouver:

Abdelaziz HA. A Data-Driven Approach for Modeling, Analysis and Control of Stochastic Hybrid Systems using Gaussian Processes. [Internet] [Doctoral dissertation]. Vanderbilt University; 2018. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/1803/10418.

Council of Science Editors:

Abdelaziz HA. A Data-Driven Approach for Modeling, Analysis and Control of Stochastic Hybrid Systems using Gaussian Processes. [Doctoral Dissertation]. Vanderbilt University; 2018. Available from: http://hdl.handle.net/1803/10418


University of California – Berkeley

11. Shia, Victor Andrew. A Framework for Computing the Stability of Human Motion.

Degree: Electrical Engineering & Computer Sciences, 2016, University of California – Berkeley

 Every year, 2.5 million people visit the emergency department accounting for $34 billion in hospital visits, stays and treatment. Financial considerations aside, falling once results… (more)

Subjects/Keywords: Electrical engineering; Biomechanics; Robotics; Basin of Stability; Lyapunov; Optimization; Reachability; Sit to Stand; Stability Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shia, V. A. (2016). A Framework for Computing the Stability of Human Motion. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/5pf9g7v9

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):

Shia, Victor Andrew. “A Framework for Computing the Stability of Human Motion.” 2016. Thesis, University of California – Berkeley. Accessed October 27, 2020. http://www.escholarship.org/uc/item/5pf9g7v9.

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

MLA Handbook (7th Edition):

Shia, Victor Andrew. “A Framework for Computing the Stability of Human Motion.” 2016. Web. 27 Oct 2020.

Vancouver:

Shia VA. A Framework for Computing the Stability of Human Motion. [Internet] [Thesis]. University of California – Berkeley; 2016. [cited 2020 Oct 27]. Available from: http://www.escholarship.org/uc/item/5pf9g7v9.

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

Council of Science Editors:

Shia VA. A Framework for Computing the Stability of Human Motion. [Thesis]. University of California – Berkeley; 2016. Available from: http://www.escholarship.org/uc/item/5pf9g7v9

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


Luleå University of Technology

12. Porges, Oliver. Analysis and Applications of Reachability and Capability Maps for Robotic Manipulators.

Degree: 2014, Luleå University of Technology

Robotic arms are the most popular robots on the market. Technology behind the arm manipulators and their sensors is getting more accessible, which results… (more)

Subjects/Keywords: Technology; Reachability map; capability map; robot motion planning; collision avoidance; workspace analysis; Teknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Porges, O. (2014). Analysis and Applications of Reachability and Capability Maps for Robotic Manipulators. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-46012

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):

Porges, Oliver. “Analysis and Applications of Reachability and Capability Maps for Robotic Manipulators.” 2014. Thesis, Luleå University of Technology. Accessed October 27, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-46012.

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

MLA Handbook (7th Edition):

Porges, Oliver. “Analysis and Applications of Reachability and Capability Maps for Robotic Manipulators.” 2014. Web. 27 Oct 2020.

Vancouver:

Porges O. Analysis and Applications of Reachability and Capability Maps for Robotic Manipulators. [Internet] [Thesis]. Luleå University of Technology; 2014. [cited 2020 Oct 27]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-46012.

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

Council of Science Editors:

Porges O. Analysis and Applications of Reachability and Capability Maps for Robotic Manipulators. [Thesis]. Luleå University of Technology; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-46012

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


Iowa State University

13. Ren, Hao. Model-based compositional verification approaches and tools development for cyber-physical systems.

Degree: 2018, Iowa State University

 The model-based design for embedded real-time systems utilizes the veriable reusable components and proper architectures, to deal with the verification scalability problem caused by state-explosion.… (more)

Subjects/Keywords: Compositional reasoning; Cyber-physical system; Formal verification; Quantifier elimination; Reachability analysis; Electrical and Electronics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ren, H. (2018). Model-based compositional verification approaches and tools development for cyber-physical systems. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/16444

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):

Ren, Hao. “Model-based compositional verification approaches and tools development for cyber-physical systems.” 2018. Thesis, Iowa State University. Accessed October 27, 2020. https://lib.dr.iastate.edu/etd/16444.

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

MLA Handbook (7th Edition):

Ren, Hao. “Model-based compositional verification approaches and tools development for cyber-physical systems.” 2018. Web. 27 Oct 2020.

Vancouver:

Ren H. Model-based compositional verification approaches and tools development for cyber-physical systems. [Internet] [Thesis]. Iowa State University; 2018. [cited 2020 Oct 27]. Available from: https://lib.dr.iastate.edu/etd/16444.

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

Council of Science Editors:

Ren H. Model-based compositional verification approaches and tools development for cyber-physical systems. [Thesis]. Iowa State University; 2018. Available from: https://lib.dr.iastate.edu/etd/16444

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


University of Waterloo

14. Aloraini, Bushra. Towards Better Static Analysis Security Testing Methodologies.

Degree: 2020, University of Waterloo

 Software vulnerabilities have been a significant attack surface used in cyberattacks, which have been escalating recently. Software vulnerabilities have caused substantial damage, and thus there… (more)

Subjects/Keywords: taint analysis; buffer errors; software security; reachability analysis; cross language analysis; software vulnerabilities; Android app security; static analysis security testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aloraini, B. (2020). Towards Better Static Analysis Security Testing Methodologies. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/16359

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):

Aloraini, Bushra. “Towards Better Static Analysis Security Testing Methodologies.” 2020. Thesis, University of Waterloo. Accessed October 27, 2020. http://hdl.handle.net/10012/16359.

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

MLA Handbook (7th Edition):

Aloraini, Bushra. “Towards Better Static Analysis Security Testing Methodologies.” 2020. Web. 27 Oct 2020.

Vancouver:

Aloraini B. Towards Better Static Analysis Security Testing Methodologies. [Internet] [Thesis]. University of Waterloo; 2020. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/10012/16359.

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

Council of Science Editors:

Aloraini B. Towards Better Static Analysis Security Testing Methodologies. [Thesis]. University of Waterloo; 2020. Available from: http://hdl.handle.net/10012/16359

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


North Carolina State University

15. Lei, Yu. Reachability Analysis and Testing of Asynchronous Message-Passing Programs.

Degree: PhD, Computer Science, 2002, North Carolina State University

 An asynchronous message-passing program consists of concurrent processes that interact with each other by the exchange of messages. Many network protocols and distributed applications are… (more)

Subjects/Keywords: Pairwise Testing; Software Testing; Software Verification; Reachability Testing; Reachability Analysis; Concurrent Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lei, Y. (2002). Reachability Analysis and Testing of Asynchronous Message-Passing Programs. (Doctoral Dissertation). North Carolina State University. Retrieved from http://www.lib.ncsu.edu/resolver/1840.16/5907

Chicago Manual of Style (16th Edition):

Lei, Yu. “Reachability Analysis and Testing of Asynchronous Message-Passing Programs.” 2002. Doctoral Dissertation, North Carolina State University. Accessed October 27, 2020. http://www.lib.ncsu.edu/resolver/1840.16/5907.

MLA Handbook (7th Edition):

Lei, Yu. “Reachability Analysis and Testing of Asynchronous Message-Passing Programs.” 2002. Web. 27 Oct 2020.

Vancouver:

Lei Y. Reachability Analysis and Testing of Asynchronous Message-Passing Programs. [Internet] [Doctoral dissertation]. North Carolina State University; 2002. [cited 2020 Oct 27]. Available from: http://www.lib.ncsu.edu/resolver/1840.16/5907.

Council of Science Editors:

Lei Y. Reachability Analysis and Testing of Asynchronous Message-Passing Programs. [Doctoral Dissertation]. North Carolina State University; 2002. Available from: http://www.lib.ncsu.edu/resolver/1840.16/5907


University of South Florida

16. Zhang, Yingying. Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems.

Degree: 2013, University of South Florida

 This thesis presents a framework to verify asynchronous real-time systems based on model checking. These systems are modeled by using a common modeling formalism named… (more)

Subjects/Keywords: Model Checking; Multi-value Decision Diagrams; Petri-net; Reachability Analysis; Timing Analysis; Verification; Computer Engineering; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, Y. (2013). Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems. (Thesis). University of South Florida. Retrieved from https://scholarcommons.usf.edu/etd/4622

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):

Zhang, Yingying. “Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems.” 2013. Thesis, University of South Florida. Accessed October 27, 2020. https://scholarcommons.usf.edu/etd/4622.

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

MLA Handbook (7th Edition):

Zhang, Yingying. “Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems.” 2013. Web. 27 Oct 2020.

Vancouver:

Zhang Y. Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems. [Internet] [Thesis]. University of South Florida; 2013. [cited 2020 Oct 27]. Available from: https://scholarcommons.usf.edu/etd/4622.

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

Council of Science Editors:

Zhang Y. Algorithms and Data Structures for Efficient Timing Analysis of Asynchronous Real-time Systems. [Thesis]. University of South Florida; 2013. Available from: https://scholarcommons.usf.edu/etd/4622

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

17. Agrawal, Akash. Static Analysis to improve RTL Verification.

Degree: MS, Computer Engineering, 2017, Virginia Tech

 Integrated circuits have traveled a long way from being a general purpose microprocessor to an application specific circuit. It has become an integral part of… (more)

Subjects/Keywords: Static Analysis; ATPG; Verification; Reachability Analysis

…41 Improved Reachability Analysis . . . . . . . . . . . . . . . . . . . . . . . . . 42… …Fault Coverage Results . . . . . . . . . . . . . . . . . . . 42 4.4 Reachability Analysis… …Analysis Main Function . . . . . . . . . . . . . . . . . . . . . . 33 3.5 Reachability… …Analysis Recursive Function . . . . . . . . . . . . . . . . . . . . 34 3.6 Reachability… …relational mining and an improved branch reachability analysis. The work is able to generate better… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Agrawal, A. (2017). Static Analysis to improve RTL Verification. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/75293

Chicago Manual of Style (16th Edition):

Agrawal, Akash. “Static Analysis to improve RTL Verification.” 2017. Masters Thesis, Virginia Tech. Accessed October 27, 2020. http://hdl.handle.net/10919/75293.

MLA Handbook (7th Edition):

Agrawal, Akash. “Static Analysis to improve RTL Verification.” 2017. Web. 27 Oct 2020.

Vancouver:

Agrawal A. Static Analysis to improve RTL Verification. [Internet] [Masters thesis]. Virginia Tech; 2017. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/10919/75293.

Council of Science Editors:

Agrawal A. Static Analysis to improve RTL Verification. [Masters Thesis]. Virginia Tech; 2017. Available from: http://hdl.handle.net/10919/75293

18. Mäkelä, Marko. Efficient Computer-Aided Verification of Parallel and Distributed Software Systems.

Degree: 2003, Helsinki University of Technology

The society is becoming increasingly dependent on applications of distributed software systems, such as controller systems and wireless telecommunications. It is very difficult to guarantee… (more)

Subjects/Keywords: distributed systems; software systems; model checking; verification; reachability analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mäkelä, M. (2003). Efficient Computer-Aided Verification of Parallel and Distributed Software Systems. (Thesis). Helsinki University of Technology. Retrieved from http://lib.tkk.fi/Diss/2003/isbn9512267926/

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):

Mäkelä, Marko. “Efficient Computer-Aided Verification of Parallel and Distributed Software Systems.” 2003. Thesis, Helsinki University of Technology. Accessed October 27, 2020. http://lib.tkk.fi/Diss/2003/isbn9512267926/.

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

MLA Handbook (7th Edition):

Mäkelä, Marko. “Efficient Computer-Aided Verification of Parallel and Distributed Software Systems.” 2003. Web. 27 Oct 2020.

Vancouver:

Mäkelä M. Efficient Computer-Aided Verification of Parallel and Distributed Software Systems. [Internet] [Thesis]. Helsinki University of Technology; 2003. [cited 2020 Oct 27]. Available from: http://lib.tkk.fi/Diss/2003/isbn9512267926/.

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

Council of Science Editors:

Mäkelä M. Efficient Computer-Aided Verification of Parallel and Distributed Software Systems. [Thesis]. Helsinki University of Technology; 2003. Available from: http://lib.tkk.fi/Diss/2003/isbn9512267926/

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

19. Santos, Felipe Martins dos. Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas.

Degree: Mestrado, Ciência da Computação, 2013, University of São Paulo

Planejamento em inteligência artificial é a tarefa de determinar ações que satisfaçam um dado objetivo. Nos problemas de planejamento sob incerteza, as ações podem ter… (more)

Subjects/Keywords: Análise de Alcançabilidade; Bissimulação Estocástica; Markov Decision Processes; Planejamento Probabilístico; Probabilistic Planning; Processo de Decisão Markoviano; Reachability Analysis; Stochastic Bisimulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Santos, F. M. d. (2013). Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45134/tde-12022014-140538/ ;

Chicago Manual of Style (16th Edition):

Santos, Felipe Martins dos. “Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas.” 2013. Masters Thesis, University of São Paulo. Accessed October 27, 2020. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-12022014-140538/ ;.

MLA Handbook (7th Edition):

Santos, Felipe Martins dos. “Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas.” 2013. Web. 27 Oct 2020.

Vancouver:

Santos FMd. Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas. [Internet] [Masters thesis]. University of São Paulo; 2013. [cited 2020 Oct 27]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-12022014-140538/ ;.

Council of Science Editors:

Santos FMd. Soluções eficientes para processos de decisão markovianos baseadas em alcançabilidade e bissimulações estocásticas. [Masters Thesis]. University of São Paulo; 2013. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-12022014-140538/ ;


Texas A&M University

20. Lin, Honghuang. Algorithms for Verification of Analog and Mixed-Signal Integrated Circuits.

Degree: PhD, Computer Engineering, 2016, Texas A&M University

 Over the past few decades, the tremendous growth in the complexity of analog and mixed-signal (AMS) systems has posed great challenges to AMS verification, resulting… (more)

Subjects/Keywords: Analog and mixed-signal verification; formal verification; parallel reachability analysis; learning based verification; active learning; sparse Bayesian learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lin, H. (2016). Algorithms for Verification of Analog and Mixed-Signal Integrated Circuits. (Doctoral Dissertation). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/157974

Chicago Manual of Style (16th Edition):

Lin, Honghuang. “Algorithms for Verification of Analog and Mixed-Signal Integrated Circuits.” 2016. Doctoral Dissertation, Texas A&M University. Accessed October 27, 2020. http://hdl.handle.net/1969.1/157974.

MLA Handbook (7th Edition):

Lin, Honghuang. “Algorithms for Verification of Analog and Mixed-Signal Integrated Circuits.” 2016. Web. 27 Oct 2020.

Vancouver:

Lin H. Algorithms for Verification of Analog and Mixed-Signal Integrated Circuits. [Internet] [Doctoral dissertation]. Texas A&M University; 2016. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/1969.1/157974.

Council of Science Editors:

Lin H. Algorithms for Verification of Analog and Mixed-Signal Integrated Circuits. [Doctoral Dissertation]. Texas A&M University; 2016. Available from: http://hdl.handle.net/1969.1/157974

21. Pelletier, Vivien. Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité : Non-regular over-approximations and termination for reachability analysis.

Degree: Docteur es, Informatique, 2017, Université d'Orléans

L’analyse d’accessibilité est une des composantes de l’analyse de modèles. Elle consiste à modéliser un système complexe par trois ensembles : le langage initial, le… (more)

Subjects/Keywords: Langages non réguliers d’arbres; Réécriture; Stratégie de réécriture; Analyse d’accessibilité; Non regular tree languages; Rewriting; Rewriting strategies; Reachability analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pelletier, V. (2017). Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité : Non-regular over-approximations and termination for reachability analysis. (Doctoral Dissertation). Université d'Orléans. Retrieved from http://www.theses.fr/2017ORLE2044

Chicago Manual of Style (16th Edition):

Pelletier, Vivien. “Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité : Non-regular over-approximations and termination for reachability analysis.” 2017. Doctoral Dissertation, Université d'Orléans. Accessed October 27, 2020. http://www.theses.fr/2017ORLE2044.

MLA Handbook (7th Edition):

Pelletier, Vivien. “Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité : Non-regular over-approximations and termination for reachability analysis.” 2017. Web. 27 Oct 2020.

Vancouver:

Pelletier V. Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité : Non-regular over-approximations and termination for reachability analysis. [Internet] [Doctoral dissertation]. Université d'Orléans; 2017. [cited 2020 Oct 27]. Available from: http://www.theses.fr/2017ORLE2044.

Council of Science Editors:

Pelletier V. Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité : Non-regular over-approximations and termination for reachability analysis. [Doctoral Dissertation]. Université d'Orléans; 2017. Available from: http://www.theses.fr/2017ORLE2044

22. Lemattre, Thibault. Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants : Mapping of control functions of critical systems by reachability analysis in a network of communicating automata.

Degree: Docteur es, Électronique Électrotechnique Automatique, 2013, Cachan, Ecole normale supérieure

La conception d'architectures opérationnelles d'un système de contrôle-commande est une phase très importante lors de la conception de systèmes de production d'énergie. Cette phase consiste… (more)

Subjects/Keywords: Architectures de commande; Architecture opérationnelle; Automates communicants; Recherche d'atteignabilité; Vérification formelle; Control architectures; Operational architecture; Communicating automata; Reachability analysis; Formal verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lemattre, T. (2013). Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants : Mapping of control functions of critical systems by reachability analysis in a network of communicating automata. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2013DENS0025

Chicago Manual of Style (16th Edition):

Lemattre, Thibault. “Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants : Mapping of control functions of critical systems by reachability analysis in a network of communicating automata.” 2013. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed October 27, 2020. http://www.theses.fr/2013DENS0025.

MLA Handbook (7th Edition):

Lemattre, Thibault. “Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants : Mapping of control functions of critical systems by reachability analysis in a network of communicating automata.” 2013. Web. 27 Oct 2020.

Vancouver:

Lemattre T. Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants : Mapping of control functions of critical systems by reachability analysis in a network of communicating automata. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2013. [cited 2020 Oct 27]. Available from: http://www.theses.fr/2013DENS0025.

Council of Science Editors:

Lemattre T. Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants : Mapping of control functions of critical systems by reachability analysis in a network of communicating automata. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2013. Available from: http://www.theses.fr/2013DENS0025


Iowa State University

23. Li, Meng. A model-based approach to automated test generation and error localization for Simulink/Stateflow.

Degree: 2013, Iowa State University

 Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the… (more)

Subjects/Keywords: Automata; Automated Testing; Error Localization; Reachability Analysis; Simulink; Stateflow; Computer Engineering; Computer Sciences; Electrical and Electronics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, M. (2013). A model-based approach to automated test generation and error localization for Simulink/Stateflow. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/16090

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):

Li, Meng. “A model-based approach to automated test generation and error localization for Simulink/Stateflow.” 2013. Thesis, Iowa State University. Accessed October 27, 2020. https://lib.dr.iastate.edu/etd/16090.

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

MLA Handbook (7th Edition):

Li, Meng. “A model-based approach to automated test generation and error localization for Simulink/Stateflow.” 2013. Web. 27 Oct 2020.

Vancouver:

Li M. A model-based approach to automated test generation and error localization for Simulink/Stateflow. [Internet] [Thesis]. Iowa State University; 2013. [cited 2020 Oct 27]. Available from: https://lib.dr.iastate.edu/etd/16090.

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

Council of Science Editors:

Li M. A model-based approach to automated test generation and error localization for Simulink/Stateflow. [Thesis]. Iowa State University; 2013. Available from: https://lib.dr.iastate.edu/etd/16090

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


Delft University of Technology

24. Chawla, Hemang (author). Robot Placement for Mobile Manipulation in Domestic Environments.

Degree: 2017, Delft University of Technology

The development of domestic mobile manipulators for unconstrained environments has driven significant research recently. Robot Care Systems has been pioneering in developing a prototype of… (more)

Subjects/Keywords: Mobile Manipulation; Robot; Robot Placement; Vision; Domestic Environments; Commutation Configuration; Robotics; Base Placement; Reachability; Workspace Analysis; Optimization; Planability; Algorithm

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chawla, H. (. (2017). Robot Placement for Mobile Manipulation in Domestic Environments. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:e095b2be-c497-4de4-a55b-25126e960dbe

Chicago Manual of Style (16th Edition):

Chawla, Hemang (author). “Robot Placement for Mobile Manipulation in Domestic Environments.” 2017. Masters Thesis, Delft University of Technology. Accessed October 27, 2020. http://resolver.tudelft.nl/uuid:e095b2be-c497-4de4-a55b-25126e960dbe.

MLA Handbook (7th Edition):

Chawla, Hemang (author). “Robot Placement for Mobile Manipulation in Domestic Environments.” 2017. Web. 27 Oct 2020.

Vancouver:

Chawla H(. Robot Placement for Mobile Manipulation in Domestic Environments. [Internet] [Masters thesis]. Delft University of Technology; 2017. [cited 2020 Oct 27]. Available from: http://resolver.tudelft.nl/uuid:e095b2be-c497-4de4-a55b-25126e960dbe.

Council of Science Editors:

Chawla H(. Robot Placement for Mobile Manipulation in Domestic Environments. [Masters Thesis]. Delft University of Technology; 2017. Available from: http://resolver.tudelft.nl/uuid:e095b2be-c497-4de4-a55b-25126e960dbe

25. Rocca, Alexandre. Formal methods for modelling and validation of biological models : Méthodes formelles pour la construction et la validation de modèles biologiques.

Degree: Docteur es, Mathématiques Appliquées, 2018, Université Grenoble Alpes (ComUE)

L’objectif de cette thèse est la modélisation et l’étude de systèmes biologiques par l’intermédiaire de méthodes formelles. Les systèmes biologiques démontrent des comportements continus mais… (more)

Subjects/Keywords: Analyse d'atteignabilité; Systèmes multi-Échelles; Systèmes biologiques; Modélisation; Reachability analysis; Multi-Scales systems; Biological systems; Modelisation; 510

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rocca, A. (2018). Formal methods for modelling and validation of biological models : Méthodes formelles pour la construction et la validation de modèles biologiques. (Doctoral Dissertation). Université Grenoble Alpes (ComUE). Retrieved from http://www.theses.fr/2018GREAM028

Chicago Manual of Style (16th Edition):

Rocca, Alexandre. “Formal methods for modelling and validation of biological models : Méthodes formelles pour la construction et la validation de modèles biologiques.” 2018. Doctoral Dissertation, Université Grenoble Alpes (ComUE). Accessed October 27, 2020. http://www.theses.fr/2018GREAM028.

MLA Handbook (7th Edition):

Rocca, Alexandre. “Formal methods for modelling and validation of biological models : Méthodes formelles pour la construction et la validation de modèles biologiques.” 2018. Web. 27 Oct 2020.

Vancouver:

Rocca A. Formal methods for modelling and validation of biological models : Méthodes formelles pour la construction et la validation de modèles biologiques. [Internet] [Doctoral dissertation]. Université Grenoble Alpes (ComUE); 2018. [cited 2020 Oct 27]. Available from: http://www.theses.fr/2018GREAM028.

Council of Science Editors:

Rocca A. Formal methods for modelling and validation of biological models : Méthodes formelles pour la construction et la validation de modèles biologiques. [Doctoral Dissertation]. Université Grenoble Alpes (ComUE); 2018. Available from: http://www.theses.fr/2018GREAM028

26. Shen, Kai. Advances in Reachability Analysis for Nonlinear Dynamic Systems.

Degree: PhD, Chemical and Biomolecular Engineering, 2019, Clemson University

  Systems of nonlinear ordinary differential equations (ODEs) are used to model an incredible variety of dynamic phenomena in chemical, oil and gas, and pharmaceutical… (more)

Subjects/Keywords: Differential inequalities; Interval analysis; Reachability; Uncertainty propagation

…as Taylor models. 10 Chapter 2 Rapid and Accurate Reachability Analysis for Nonlinear… …2.2. Section 2.3 provides related background on interval analysis and differential… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shen, K. (2019). Advances in Reachability Analysis for Nonlinear Dynamic Systems. (Doctoral Dissertation). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_dissertations/2380

Chicago Manual of Style (16th Edition):

Shen, Kai. “Advances in Reachability Analysis for Nonlinear Dynamic Systems.” 2019. Doctoral Dissertation, Clemson University. Accessed October 27, 2020. https://tigerprints.clemson.edu/all_dissertations/2380.

MLA Handbook (7th Edition):

Shen, Kai. “Advances in Reachability Analysis for Nonlinear Dynamic Systems.” 2019. Web. 27 Oct 2020.

Vancouver:

Shen K. Advances in Reachability Analysis for Nonlinear Dynamic Systems. [Internet] [Doctoral dissertation]. Clemson University; 2019. [cited 2020 Oct 27]. Available from: https://tigerprints.clemson.edu/all_dissertations/2380.

Council of Science Editors:

Shen K. Advances in Reachability Analysis for Nonlinear Dynamic Systems. [Doctoral Dissertation]. Clemson University; 2019. Available from: https://tigerprints.clemson.edu/all_dissertations/2380

27. Takkoush, Mohamed. Formal Model Validation by Reachset Conformance between Low and High Order Tractor Semitrailer Vehicle Models .

Degree: Chalmers tekniska högskola / Institutionen för mekanik och maritima vetenskaper, 2020, Chalmers University of Technology

 The blooming era of vehicle automation is shaping the future of transportation in ways that humans were not expecting a few decades ago. Autonomous vehicles… (more)

Subjects/Keywords: Reachability analysis; Model validation; Reachset conformance; Vehicle modeling; Uncertainty Estimation; Tractor semitrailer; Rapidly exploring random trees

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Takkoush, M. (2020). Formal Model Validation by Reachset Conformance between Low and High Order Tractor Semitrailer Vehicle Models . (Thesis). Chalmers University of Technology. Retrieved from http://hdl.handle.net/20.500.12380/301756

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):

Takkoush, Mohamed. “Formal Model Validation by Reachset Conformance between Low and High Order Tractor Semitrailer Vehicle Models .” 2020. Thesis, Chalmers University of Technology. Accessed October 27, 2020. http://hdl.handle.net/20.500.12380/301756.

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

MLA Handbook (7th Edition):

Takkoush, Mohamed. “Formal Model Validation by Reachset Conformance between Low and High Order Tractor Semitrailer Vehicle Models .” 2020. Web. 27 Oct 2020.

Vancouver:

Takkoush M. Formal Model Validation by Reachset Conformance between Low and High Order Tractor Semitrailer Vehicle Models . [Internet] [Thesis]. Chalmers University of Technology; 2020. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/20.500.12380/301756.

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

Council of Science Editors:

Takkoush M. Formal Model Validation by Reachset Conformance between Low and High Order Tractor Semitrailer Vehicle Models . [Thesis]. Chalmers University of Technology; 2020. Available from: http://hdl.handle.net/20.500.12380/301756

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


Virginia Tech

28. Lam, Huy Hong. Discrete Transition System Model and Verification for Mitochondrially Mediated Apoptotic Signaling Pathways.

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

 Computational biology and bioinformatics for apoptosis have been gaining much momentum due to the advances in computational sciences. Both fields use extensive computational techniques and… (more)

Subjects/Keywords: SAT; Mitochondria; Model Checking; Reachability Analysis; Generic Algorithm; Apoptosis; Fault Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lam, H. H. (2007). Discrete Transition System Model and Verification for Mitochondrially Mediated Apoptotic Signaling Pathways. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/33802

Chicago Manual of Style (16th Edition):

Lam, Huy Hong. “Discrete Transition System Model and Verification for Mitochondrially Mediated Apoptotic Signaling Pathways.” 2007. Masters Thesis, Virginia Tech. Accessed October 27, 2020. http://hdl.handle.net/10919/33802.

MLA Handbook (7th Edition):

Lam, Huy Hong. “Discrete Transition System Model and Verification for Mitochondrially Mediated Apoptotic Signaling Pathways.” 2007. Web. 27 Oct 2020.

Vancouver:

Lam HH. Discrete Transition System Model and Verification for Mitochondrially Mediated Apoptotic Signaling Pathways. [Internet] [Masters thesis]. Virginia Tech; 2007. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/10919/33802.

Council of Science Editors:

Lam HH. Discrete Transition System Model and Verification for Mitochondrially Mediated Apoptotic Signaling Pathways. [Masters Thesis]. Virginia Tech; 2007. Available from: http://hdl.handle.net/10919/33802

29. Al Khatib, Mohammad. Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques : stability verification, scheduling, and synthesis of cyber-physical systems.

Degree: Docteur es, Mathématiques Appliquées, 2017, Grenoble Alpes

Il s'agit d'une étude menée sur les systèmes cyber-physiques sur trois aspects principaux: la vérification de la stabilité, l'ordonnancement et la synthèse des paramètres. Les… (more)

Subjects/Keywords: Analyse d'atteignabilite; Systèmes hybrides; Systèmes cyber-Physiques; Ordonnancement; Synthèse des paramètres; Stabilité; Cyber physical systems; Hybrid systems; Reachability analysis; Scheduling; Parameter synthesis; Stability verification; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Al Khatib, M. (2017). Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques : stability verification, scheduling, and synthesis of cyber-physical systems. (Doctoral Dissertation). Grenoble Alpes. Retrieved from http://www.theses.fr/2017GREAM041

Chicago Manual of Style (16th Edition):

Al Khatib, Mohammad. “Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques : stability verification, scheduling, and synthesis of cyber-physical systems.” 2017. Doctoral Dissertation, Grenoble Alpes. Accessed October 27, 2020. http://www.theses.fr/2017GREAM041.

MLA Handbook (7th Edition):

Al Khatib, Mohammad. “Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques : stability verification, scheduling, and synthesis of cyber-physical systems.” 2017. Web. 27 Oct 2020.

Vancouver:

Al Khatib M. Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques : stability verification, scheduling, and synthesis of cyber-physical systems. [Internet] [Doctoral dissertation]. Grenoble Alpes; 2017. [cited 2020 Oct 27]. Available from: http://www.theses.fr/2017GREAM041.

Council of Science Editors:

Al Khatib M. Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques : stability verification, scheduling, and synthesis of cyber-physical systems. [Doctoral Dissertation]. Grenoble Alpes; 2017. Available from: http://www.theses.fr/2017GREAM041


University of Illinois – Urbana-Champaign

30. Hope, Eric M. Design verification of power electronics systems subject to bounded uncertain inputs.

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

 This thesis proposes a new methodology for design verification of power electronics systems subject to bounded uncertain inputs. In this method, the power electronics system,… (more)

Subjects/Keywords: power electronics; design verification; power converters; reachability analysis; switched-linear systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hope, E. M. (2010). Design verification of power electronics systems subject to bounded uncertain inputs. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/14643

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):

Hope, Eric M. “Design verification of power electronics systems subject to bounded uncertain inputs.” 2010. Thesis, University of Illinois – Urbana-Champaign. Accessed October 27, 2020. http://hdl.handle.net/2142/14643.

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

MLA Handbook (7th Edition):

Hope, Eric M. “Design verification of power electronics systems subject to bounded uncertain inputs.” 2010. Web. 27 Oct 2020.

Vancouver:

Hope EM. Design verification of power electronics systems subject to bounded uncertain inputs. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2010. [cited 2020 Oct 27]. Available from: http://hdl.handle.net/2142/14643.

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

Council of Science Editors:

Hope EM. Design verification of power electronics systems subject to bounded uncertain inputs. [Thesis]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/14643

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

[1] [2]

.