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 +publisher:"University of Illinois – Urbana-Champaign" +contributor:("Mitra, Sayan"). Showing records 1 – 28 of 28 total matches.

Search Limiters

Last 2 Years | English Only

Degrees

Levels

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. Fan, Chuchu. Automatic simulation-driven reachability using matrix measures.

Degree: MS, Electrical & Computer Engr, 2016, University of Illinois – Urbana-Champaign

 Simulation-driven verification is a promising approach that provides formal safety guarantees for otherwise intractable nonlinear and hybrid system models. A key step in simulation-driven algorithms… (more)

Subjects/Keywords: Reachability; Nonlinear systems; Matrix measures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fan, C. (2016). Automatic simulation-driven reachability using matrix measures. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/93069

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

Fan, Chuchu. “Automatic simulation-driven reachability using matrix measures.” 2016. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/93069.

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

MLA Handbook (7th Edition):

Fan, Chuchu. “Automatic simulation-driven reachability using matrix measures.” 2016. Web. 17 Jan 2020.

Vancouver:

Fan C. Automatic simulation-driven reachability using matrix measures. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2016. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/93069.

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

Council of Science Editors:

Fan C. Automatic simulation-driven reachability using matrix measures. [Thesis]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/93069

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


University of Illinois – Urbana-Champaign

2. Chan, Nicole. Design and verification of a safe autonomous satellite rendezvous maneuver.

Degree: MS, Electrical & Computer Engr, 2018, University of Illinois – Urbana-Champaign

 A fundamental maneuver in autonomous space operations is known as rendezvous, where an active spacecraft navigates towards and maneuvers within close proximity of a free-flying… (more)

Subjects/Keywords: control; verification; hybrid systems; rendezvous; satellite

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chan, N. (2018). Design and verification of a safe autonomous satellite rendezvous maneuver. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101051

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

Chan, Nicole. “Design and verification of a safe autonomous satellite rendezvous maneuver.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/101051.

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

MLA Handbook (7th Edition):

Chan, Nicole. “Design and verification of a safe autonomous satellite rendezvous maneuver.” 2018. Web. 17 Jan 2020.

Vancouver:

Chan N. Design and verification of a safe autonomous satellite rendezvous maneuver. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/101051.

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

Council of Science Editors:

Chan N. Design and verification of a safe autonomous satellite rendezvous maneuver. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101051

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


University of Illinois – Urbana-Champaign

3. Johnson, Taylor. Fault-tolerant distributed cyber-physical systems: two case studies.

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

 Fault-tolerance in distributed computing systems has been investigated extensively in the literature and has a rich history and detailed theory. This thesis studies fault-tolerance for… (more)

Subjects/Keywords: fault-tolerance; Distributed cyber-physical systems (DCPS); Cyber-physical systems (CPS); distributed systems; distributed computing systems; self-stabilization; failure detector; dynamical systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Johnson, T. (2010). Fault-tolerant distributed cyber-physical systems: two case studies. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/16191

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

Johnson, Taylor. “Fault-tolerant distributed cyber-physical systems: two case studies.” 2010. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/16191.

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

MLA Handbook (7th Edition):

Johnson, Taylor. “Fault-tolerant distributed cyber-physical systems: two case studies.” 2010. Web. 17 Jan 2020.

Vancouver:

Johnson T. Fault-tolerant distributed cyber-physical systems: two case studies. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2010. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/16191.

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

Council of Science Editors:

Johnson T. Fault-tolerant distributed cyber-physical systems: two case studies. [Thesis]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/16191

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


University of Illinois – Urbana-Champaign

4. 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 January 17, 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. 17 Jan 2020.

Vancouver:

Manamcheri Sukumar K. Translation of Simulink-Stateflow models to hybrid automata. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2020 Jan 17]. 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


University of Illinois – Urbana-Champaign

5. Potok, Matthew. Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study.

Degree: MS, Electrical & Computer Engr, 2018, University of Illinois – Urbana-Champaign

 Reinforcement learning (RL) is a general method for agents to learn optimal control policies through exploration and experience. Due to its generality, RL can generate… (more)

Subjects/Keywords: Reinforcement Learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Potok, M. (2018). Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/102518

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

Potok, Matthew. “Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/102518.

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

MLA Handbook (7th Edition):

Potok, Matthew. “Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study.” 2018. Web. 17 Jan 2020.

Vancouver:

Potok M. Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/102518.

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

Council of Science Editors:

Potok M. Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/102518

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


University of Illinois – Urbana-Champaign

6. Duggirala, Parasara Sridhar. Dynamic analysis of Cyber-Physical Systems.

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

 With the recent advances in communication and computation technologies, integration of software into the sensing, actuation, and control is common. This has lead to a… (more)

Subjects/Keywords: Formal Methods; Verification; Cyber-Physical Systems; Hybrid Systems; Safety Verification; Reachable Set; Over-approximations; Dynamic Analysis; Discrepancy Function; Control Theory; Contraction Metric; Incremental Stability; Incremental Lyapunov Function; Adjacent Landing Alerting System (ALAS); Temporal Precedence Properties; Powertrain Control System; Signal Temporal Logic; Distributed Predicates; Parallel Landing Protocol

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Duggirala, P. S. (2015). Dynamic analysis of Cyber-Physical Systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/89104

Chicago Manual of Style (16th Edition):

Duggirala, Parasara Sridhar. “Dynamic analysis of Cyber-Physical Systems.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/89104.

MLA Handbook (7th Edition):

Duggirala, Parasara Sridhar. “Dynamic analysis of Cyber-Physical Systems.” 2015. Web. 17 Jan 2020.

Vancouver:

Duggirala PS. Dynamic analysis of Cyber-Physical Systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/89104.

Council of Science Editors:

Duggirala PS. Dynamic analysis of Cyber-Physical Systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/89104


University of Illinois – Urbana-Champaign

7. Tanwani, Aneel. Invertibility and observability of switched systems with inputs and outputs.

Degree: PhD, 1200, 2012, University of Illinois – Urbana-Champaign

 Hybrid dynamical systems or switched systems can operate in several different modes, with some discrete dynamics governing the mode changes. Each mode of operation is… (more)

Subjects/Keywords: switched systems; invertibility; observability; observer design; switching signal reconstruction.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tanwani, A. (2012). Invertibility and observability of switched systems with inputs and outputs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/29755

Chicago Manual of Style (16th Edition):

Tanwani, Aneel. “Invertibility and observability of switched systems with inputs and outputs.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/29755.

MLA Handbook (7th Edition):

Tanwani, Aneel. “Invertibility and observability of switched systems with inputs and outputs.” 2012. Web. 17 Jan 2020.

Vancouver:

Tanwani A. Invertibility and observability of switched systems with inputs and outputs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/29755.

Council of Science Editors:

Tanwani A. Invertibility and observability of switched systems with inputs and outputs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/29755


University of Illinois – Urbana-Champaign

8. Hosseinabadi, Ghazale. Exploiting wireless broadcast property to improve performance of distributed algorithms and mac protocols in wireless networks.

Degree: PhD, 1200, 2014, University of Illinois – Urbana-Champaign

 Because a wireless channel is a shared medium, messages sent on the wireless links might be overheard by the neighboring stations. The information obtained from… (more)

Subjects/Keywords: Wireless Networks; Media Access Control (MAC) Protocols; Distributed Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hosseinabadi, G. (2014). Exploiting wireless broadcast property to improve performance of distributed algorithms and mac protocols in wireless networks. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46850

Chicago Manual of Style (16th Edition):

Hosseinabadi, Ghazale. “Exploiting wireless broadcast property to improve performance of distributed algorithms and mac protocols in wireless networks.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/46850.

MLA Handbook (7th Edition):

Hosseinabadi, Ghazale. “Exploiting wireless broadcast property to improve performance of distributed algorithms and mac protocols in wireless networks.” 2014. Web. 17 Jan 2020.

Vancouver:

Hosseinabadi G. Exploiting wireless broadcast property to improve performance of distributed algorithms and mac protocols in wireless networks. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/46850.

Council of Science Editors:

Hosseinabadi G. Exploiting wireless broadcast property to improve performance of distributed algorithms and mac protocols in wireless networks. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46850


University of Illinois – Urbana-Champaign

9. 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)

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 January 17, 2020. http://hdl.handle.net/2142/98134.

MLA Handbook (7th Edition):

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

Vancouver:

Roohi N. Remedies for building reliable cyber-physical systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2020 Jan 17]. 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


University of Illinois – Urbana-Champaign

10. Yu, Jingjin. Combinatorial structures and filter design in information spaces.

Degree: PhD, 1200, 2013, University of Illinois – Urbana-Champaign

 In this thesis, we develop a filtering process called combinatorial filters for handling combinatorial processes that evolve over time and study two practical problems using… (more)

Subjects/Keywords: Combinatorial Filter; Shadow Information Spaces; Sensor Fusion; Situation Awareness

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yu, J. (2013). Combinatorial structures and filter design in information spaces. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/44500

Chicago Manual of Style (16th Edition):

Yu, Jingjin. “Combinatorial structures and filter design in information spaces.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/44500.

MLA Handbook (7th Edition):

Yu, Jingjin. “Combinatorial structures and filter design in information spaces.” 2013. Web. 17 Jan 2020.

Vancouver:

Yu J. Combinatorial structures and filter design in information spaces. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/44500.

Council of Science Editors:

Yu J. Combinatorial structures and filter design in information spaces. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/44500


University of Illinois – Urbana-Champaign

11. Wang, Yu. Statistical verification and differential privacy in cyber-physical systems.

Degree: PhD, Mechanical Engineering, 2018, University of Illinois – Urbana-Champaign

 This thesis studies the statistical verification and differential privacy in Cyber-Physical Systems. The first part focuses on the statistical verification of stochastic hybrid system, a… (more)

Subjects/Keywords: Model Reduction; Markov Chains; Temporal Logic; Multi-Agent Systems; Laplace Mechanisms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, Y. (2018). Statistical verification and differential privacy in cyber-physical systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/102388

Chicago Manual of Style (16th Edition):

Wang, Yu. “Statistical verification and differential privacy in cyber-physical systems.” 2018. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/102388.

MLA Handbook (7th Edition):

Wang, Yu. “Statistical verification and differential privacy in cyber-physical systems.” 2018. Web. 17 Jan 2020.

Vancouver:

Wang Y. Statistical verification and differential privacy in cyber-physical systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2018. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/102388.

Council of Science Editors:

Wang Y. Statistical verification and differential privacy in cyber-physical systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/102388

12. Lin, Yixiao. Programming platform for distributed robotics: primitives and portability.

Degree: MS, Electrical & Computer Engr, 2016, University of Illinois – Urbana-Champaign

 The Stabilizing Robotics Language (StarL) programming framework aims to simplify development of distributed robotic applications by providing programming abstractions and building blocks for communication, motion… (more)

Subjects/Keywords: Distributed systems; distributed robotics; programming platform; portability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lin, Y. (2016). Programming platform for distributed robotics: primitives and portability. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/90689

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

Lin, Yixiao. “Programming platform for distributed robotics: primitives and portability.” 2016. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/90689.

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

MLA Handbook (7th Edition):

Lin, Yixiao. “Programming platform for distributed robotics: primitives and portability.” 2016. Web. 17 Jan 2020.

Vancouver:

Lin Y. Programming platform for distributed robotics: primitives and portability. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2016. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/90689.

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

Council of Science Editors:

Lin Y. Programming platform for distributed robotics: primitives and portability. [Thesis]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/90689

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

13. Green, Jeremy. Compositional bounded reachability using time partitioning and abstraction.

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

 Automatic verification of cyber-physical systems (CPS) typically involves computing the reachable set of states of such systems. This computation is known to be exponential in… (more)

Subjects/Keywords: bounded reachability; decomposition; composition; hybrid system; abstraction; safety verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Green, J. (2012). Compositional bounded reachability using time partitioning and abstraction. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/34351

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

Green, Jeremy. “Compositional bounded reachability using time partitioning and abstraction.” 2012. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/34351.

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

MLA Handbook (7th Edition):

Green, Jeremy. “Compositional bounded reachability using time partitioning and abstraction.” 2012. Web. 17 Jan 2020.

Vancouver:

Green J. Compositional bounded reachability using time partitioning and abstraction. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2012. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/34351.

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

Council of Science Editors:

Green J. Compositional bounded reachability using time partitioning and abstraction. [Thesis]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/34351

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

14. Carrasco, Maria B. Opportunistic clock synchronization for ad hoc networks.

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

 An ad hoc network is a collection of computing nodes communicating over wireless channels without relying on any fi xed infrastructure such as servers and… (more)

Subjects/Keywords: clock synchronization; Ad hoc; opportunistic; broadcasts; window of opportunity; randomized

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Carrasco, M. B. (2011). Opportunistic clock synchronization for ad hoc networks. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26050

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

Carrasco, Maria B. “Opportunistic clock synchronization for ad hoc networks.” 2011. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/26050.

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

MLA Handbook (7th Edition):

Carrasco, Maria B. “Opportunistic clock synchronization for ad hoc networks.” 2011. Web. 17 Jan 2020.

Vancouver:

Carrasco MB. Opportunistic clock synchronization for ad hoc networks. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2011. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/26050.

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

Council of Science Editors:

Carrasco MB. Opportunistic clock synchronization for ad hoc networks. [Thesis]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26050

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

15. Huang, Zhenqi. On simulation based verification of nonlinear nondeterministic hybrid systems.

Degree: MS, 0133, 2013, University of Illinois – Urbana-Champaign

 Automatic safety verification of hybrid systems typically involves computing precise reach sets of such systems. This computation limits scalability of verification as for many model… (more)

Subjects/Keywords: hybrid system; verification; differential inclusion; simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huang, Z. (2013). On simulation based verification of nonlinear nondeterministic hybrid systems. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/45481

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

Huang, Zhenqi. “On simulation based verification of nonlinear nondeterministic hybrid systems.” 2013. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/45481.

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

MLA Handbook (7th Edition):

Huang, Zhenqi. “On simulation based verification of nonlinear nondeterministic hybrid systems.” 2013. Web. 17 Jan 2020.

Vancouver:

Huang Z. On simulation based verification of nonlinear nondeterministic hybrid systems. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/45481.

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

Council of Science Editors:

Huang Z. On simulation based verification of nonlinear nondeterministic hybrid systems. [Thesis]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/45481

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

16. Zimmerman, Adam. StarL for programming reliable robotic networks.

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

 Reasoning about programs controlling distributed robotic systems is challenging. These systems involve the interactions of multiple programs with each other over potentially unreliable communication channels… (more)

Subjects/Keywords: distributed robotics; distributed algorithms; verification; robotics; robot programming framework

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zimmerman, A. (2013). StarL for programming reliable robotic networks. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/42380

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

Zimmerman, Adam. “StarL for programming reliable robotic networks.” 2013. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/42380.

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

MLA Handbook (7th Edition):

Zimmerman, Adam. “StarL for programming reliable robotic networks.” 2013. Web. 17 Jan 2020.

Vancouver:

Zimmerman A. StarL for programming reliable robotic networks. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/42380.

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

Council of Science Editors:

Zimmerman A. StarL for programming reliable robotic networks. [Thesis]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/42380

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

17. Qi, Bolun. Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features.

Degree: MS, Computer Science, 2018, University of Illinois – Urbana-Champaign

 To test safety of autonomous vehicles, large corporations have raced to log millions of miles of test driving on public roads. While this can improve… (more)

Subjects/Keywords: verification; Cyber-pyhsical systems; hybrid systems; black-box; controller synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qi, B. (2018). Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101064

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

Qi, Bolun. “Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/101064.

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

MLA Handbook (7th Edition):

Qi, Bolun. “Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features.” 2018. Web. 17 Jan 2020.

Vancouver:

Qi B. Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/101064.

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

Council of Science Editors:

Qi B. Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101064

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

18. Fellows, Kurt. A comparative study of the effects of parallelization on ARM and Intel based platforms.

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

 With the enormous growth in popularity of mobile devices in the past decade, there has been a large push in industry for chip designers and… (more)

Subjects/Keywords: Single Instruction Multiple Data (SIMD); Thread Building Blocks; OpenMP; NEON; Streaming SIMD Extensions (SSE); Advanced Vector Extensions (AVX)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fellows, K. (2014). A comparative study of the effects of parallelization on ARM and Intel based platforms. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/50710

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

Fellows, Kurt. “A comparative study of the effects of parallelization on ARM and Intel based platforms.” 2014. Thesis, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/50710.

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

MLA Handbook (7th Edition):

Fellows, Kurt. “A comparative study of the effects of parallelization on ARM and Intel based platforms.” 2014. Web. 17 Jan 2020.

Vancouver:

Fellows K. A comparative study of the effects of parallelization on ARM and Intel based platforms. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2014. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/50710.

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

Council of Science Editors:

Fellows K. A comparative study of the effects of parallelization on ARM and Intel based platforms. [Thesis]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/50710

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

19. Huang, Zhenqi. Compositional analysis of networked cyber-physical systems: safety and privacy.

Degree: PhD, Electrical & Computer Engr, 2016, University of Illinois – Urbana-Champaign

 Cyber-physical systems (CPS) are now commonplace in power grids, manufacturing, and embedded medical devices. Failures and attacks on these systems have caused significant social, environmental… (more)

Subjects/Keywords: Invariant Verification; Partial Order Reduction; Differential Privacy; Sensitivity Analysis; Cyber-Physical System

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Huang, Z. (2016). Compositional analysis of networked cyber-physical systems: safety and privacy. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/95351

Chicago Manual of Style (16th Edition):

Huang, Zhenqi. “Compositional analysis of networked cyber-physical systems: safety and privacy.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/95351.

MLA Handbook (7th Edition):

Huang, Zhenqi. “Compositional analysis of networked cyber-physical systems: safety and privacy.” 2016. Web. 17 Jan 2020.

Vancouver:

Huang Z. Compositional analysis of networked cyber-physical systems: safety and privacy. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/95351.

Council of Science Editors:

Huang Z. Compositional analysis of networked cyber-physical systems: safety and privacy. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/95351

20. Johnson, Taylor. Uniform verification of safety for parameterized networks of hybrid automata.

Degree: PhD, 1200, 2014, University of Illinois – Urbana-Champaign

 Distributed cyber-physical systems (CPS) incorporate communicating agents with their own cyber and physical states and transitions. Such systems are typically designed to accomplish tasks in… (more)

Subjects/Keywords: uniform verification; parameterized systems; hybrid systems; hybrid automaton; cyber-physical systems; formal methods; distributed systems; parameterized networks; verification

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Johnson, T. (2014). Uniform verification of safety for parameterized networks of hybrid automata. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46679

Chicago Manual of Style (16th Edition):

Johnson, Taylor. “Uniform verification of safety for parameterized networks of hybrid automata.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/46679.

MLA Handbook (7th Edition):

Johnson, Taylor. “Uniform verification of safety for parameterized networks of hybrid automata.” 2014. Web. 17 Jan 2020.

Vancouver:

Johnson T. Uniform verification of safety for parameterized networks of hybrid automata. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/46679.

Council of Science Editors:

Johnson T. Uniform verification of safety for parameterized networks of hybrid automata. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46679

21. Yang, Guosong. Switched and hybrid systems with inputs: small-gain theorems, control with limited information, and topological entropy.

Degree: PhD, Electrical & Computer Engr, 2017, University of Illinois – Urbana-Champaign

 In this thesis, we study stability and stabilization of switched and hybrid systems with inputs. We consider primarily two topics in this area: small gain… (more)

Subjects/Keywords: Switched systems; Hybrid systems; Input-to-state stability; Lyapunov methods; Small-gain theorems; Sampling; Quantization; Data-rate constraints; Topological entropy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yang, G. (2017). Switched and hybrid systems with inputs: small-gain theorems, control with limited information, and topological entropy. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/98353

Chicago Manual of Style (16th Edition):

Yang, Guosong. “Switched and hybrid systems with inputs: small-gain theorems, control with limited information, and topological entropy.” 2017. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/98353.

MLA Handbook (7th Edition):

Yang, Guosong. “Switched and hybrid systems with inputs: small-gain theorems, control with limited information, and topological entropy.” 2017. Web. 17 Jan 2020.

Vancouver:

Yang G. Switched and hybrid systems with inputs: small-gain theorems, control with limited information, and topological entropy. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/98353.

Council of Science Editors:

Yang G. Switched and hybrid systems with inputs: small-gain theorems, control with limited information, and topological entropy. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/98353

22. Bak, Stanley. Verifiable COTS-based cyber-physical systems.

Degree: PhD, 0112, 2013, University of Illinois – Urbana-Champaign

 Cyber-physical systems (CPS) use networked control software to interact with and manipulate the physical world. Examples of cyber-physical systems include smart buildings, power distribution networks,… (more)

Subjects/Keywords: real-time; cyber-physical system; verification; simplex; system-level simplex; architecture; safety; off-road vehicle; hybrid system; hybrid automaton; nonlinear; reachability; Commercial off-the-shelf (COTS); real-time bridge; memory interference

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bak, S. (2013). Verifiable COTS-based cyber-physical systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/44374

Chicago Manual of Style (16th Edition):

Bak, Stanley. “Verifiable COTS-based cyber-physical systems.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/44374.

MLA Handbook (7th Edition):

Bak, Stanley. “Verifiable COTS-based cyber-physical systems.” 2013. Web. 17 Jan 2020.

Vancouver:

Bak S. Verifiable COTS-based cyber-physical systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/44374.

Council of Science Editors:

Bak S. Verifiable COTS-based cyber-physical systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/44374

23. Ahmadyan, Seyed Nematollah. Validation and optimization of analog circuits using randomized search algorithms.

Degree: PhD, Electrical & Computer Engr, 2016, University of Illinois – Urbana-Champaign

 Analog circuits represent a large percentage of the chips used in mobile computing, communication devices, electric vehicles, and portable medical equipment today. Rapid scaling and… (more)

Subjects/Keywords: Analog circuits; Optimization; Simulation; Validation; Test

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ahmadyan, S. N. (2016). Validation and optimization of analog circuits using randomized search algorithms. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/95369

Chicago Manual of Style (16th Edition):

Ahmadyan, Seyed Nematollah. “Validation and optimization of analog circuits using randomized search algorithms.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/95369.

MLA Handbook (7th Edition):

Ahmadyan, Seyed Nematollah. “Validation and optimization of analog circuits using randomized search algorithms.” 2016. Web. 17 Jan 2020.

Vancouver:

Ahmadyan SN. Validation and optimization of analog circuits using randomized search algorithms. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/95369.

Council of Science Editors:

Ahmadyan SN. Validation and optimization of analog circuits using randomized search algorithms. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/95369

24. Kim, Kyoung-Dae. Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis.

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

 A cyber-physical system is a system which encompasses computing, communication, and physical entities with emphasis on their interactions. In this work, we study two different… (more)

Subjects/Keywords: cyber-physical systems; hybrid systems; networked control systems; real-time systems; middleware; reachability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kim, K. (2011). Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24062

Chicago Manual of Style (16th Edition):

Kim, Kyoung-Dae. “Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/24062.

MLA Handbook (7th Edition):

Kim, Kyoung-Dae. “Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis.” 2011. Web. 17 Jan 2020.

Vancouver:

Kim K. Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/24062.

Council of Science Editors:

Kim K. Middleware and control of cyber-physical systems: temporal guarantees and hybrid system analysis. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24062

25. Raman, Vijay. Traffic-aware channel allocation and routing in multichannel, multi-radio wireless networks.

Degree: PhD, 1200, 2012, University of Illinois – Urbana-Champaign

 Modern day wireless network applications exhibit varying service demands to satisfy user requirements, while differing in the nature of traffic they generate. Future wireless networks… (more)

Subjects/Keywords: ad hoc networks; channel allocation; variable channel widths; routing; traffic awareness

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Raman, V. (2012). Traffic-aware channel allocation and routing in multichannel, multi-radio wireless networks. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/31126

Chicago Manual of Style (16th Edition):

Raman, Vijay. “Traffic-aware channel allocation and routing in multichannel, multi-radio wireless networks.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/31126.

MLA Handbook (7th Edition):

Raman, Vijay. “Traffic-aware channel allocation and routing in multichannel, multi-radio wireless networks.” 2012. Web. 17 Jan 2020.

Vancouver:

Raman V. Traffic-aware channel allocation and routing in multichannel, multi-radio wireless networks. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/31126.

Council of Science Editors:

Raman V. Traffic-aware channel allocation and routing in multichannel, multi-radio wireless networks. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/31126

26. Prabhakar, Pavithra. Approximation Based Safety and Stability Verification of Hybrid Systems.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 With the advent of computers to control various physical processes, there has emerged a new class of systems which contain tight interactions between the "discrete"… (more)

Subjects/Keywords: Verification; Hybrid Systems; Safety; Stability; Approximations; Polynomial Approximations; Abstraction Refinement; Stability preserving Approximations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Prabhakar, P. (2011). Approximation Based Safety and Stability Verification of Hybrid Systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26102

Chicago Manual of Style (16th Edition):

Prabhakar, Pavithra. “Approximation Based Safety and Stability Verification of Hybrid Systems.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/26102.

MLA Handbook (7th Edition):

Prabhakar, Pavithra. “Approximation Based Safety and Stability Verification of Hybrid Systems.” 2011. Web. 17 Jan 2020.

Vancouver:

Prabhakar P. Approximation Based Safety and Stability Verification of Hybrid Systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/26102.

Council of Science Editors:

Prabhakar P. Approximation Based Safety and Stability Verification of Hybrid Systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26102

27. Al-Nayeem, Abdullah. Physically-asynchronous logically-synchronous (PALS) system design and development.

Degree: PhD, 0112, 2013, University of Illinois – Urbana-Champaign

 Cyber-physical systems, such as avionics and automobiles, are real-time distributed systems, where many of the information processing functions require consistent views and actions across distributed… (more)

Subjects/Keywords: Logical synchronization in real-time distributed systems; Formal architectural pattern; Complexity-reduction; Cyber-physical systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Al-Nayeem, A. (2013). Physically-asynchronous logically-synchronous (PALS) system design and development. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/45438

Chicago Manual of Style (16th Edition):

Al-Nayeem, Abdullah. “Physically-asynchronous logically-synchronous (PALS) system design and development.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/45438.

MLA Handbook (7th Edition):

Al-Nayeem, Abdullah. “Physically-asynchronous logically-synchronous (PALS) system design and development.” 2013. Web. 17 Jan 2020.

Vancouver:

Al-Nayeem A. Physically-asynchronous logically-synchronous (PALS) system design and development. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/45438.

Council of Science Editors:

Al-Nayeem A. Physically-asynchronous logically-synchronous (PALS) system design and development. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/45438

28. Eskins, Douglas. Modeling human decision points in complex systems.

Degree: PhD, 1200, 2013, University of Illinois – Urbana-Champaign

 The actions of human participants in complex systems can greatly affect system outcomes. In particular, the security of cyber-human systems (CHSs) can be highly influenced… (more)

Subjects/Keywords: cyber-human system; human decision point; cyber-security model; human-influenced task-oriented process model (HITOP);

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Eskins, D. (2013). Modeling human decision points in complex systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/42143

Chicago Manual of Style (16th Edition):

Eskins, Douglas. “Modeling human decision points in complex systems.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 17, 2020. http://hdl.handle.net/2142/42143.

MLA Handbook (7th Edition):

Eskins, Douglas. “Modeling human decision points in complex systems.” 2013. Web. 17 Jan 2020.

Vancouver:

Eskins D. Modeling human decision points in complex systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/2142/42143.

Council of Science Editors:

Eskins D. Modeling human decision points in complex systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/42143

.