Advanced search options

Sorted by: relevance · author · university · date | New search

You searched for `+publisher:"Delft University of Technology" +contributor:("Abate, A.")`

.
Showing records 1 – 5 of
5 total matches.

▼ Search Limiters

Delft University of Technology

1. Cox, P.B. Verification of Cascading Events in Interconnected Stochastic Systems: Using Adaptive Parametric Importance Sampling Methods:.

Degree: 2013, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:1ef9216e-d6f3-4687-88c5-d5fb9ce6b614

► Verification of rare cascading events in interconnected Markov processes are of high interest in energy grids, computer networks, and banking systems. Small defaults may lead…
(more)

Subjects/Keywords: Verification; Cascading Events; Stochastic Hybrid Systems; Importance Sampling

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Cox, P. B. (2013). Verification of Cascading Events in Interconnected Stochastic Systems: Using Adaptive Parametric Importance Sampling Methods:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:1ef9216e-d6f3-4687-88c5-d5fb9ce6b614

Chicago Manual of Style (16^{th} Edition):

Cox, P B. “Verification of Cascading Events in Interconnected Stochastic Systems: Using Adaptive Parametric Importance Sampling Methods:.” 2013. Masters Thesis, Delft University of Technology. Accessed February 17, 2019. http://resolver.tudelft.nl/uuid:1ef9216e-d6f3-4687-88c5-d5fb9ce6b614.

MLA Handbook (7^{th} Edition):

Cox, P B. “Verification of Cascading Events in Interconnected Stochastic Systems: Using Adaptive Parametric Importance Sampling Methods:.” 2013. Web. 17 Feb 2019.

Vancouver:

Cox PB. Verification of Cascading Events in Interconnected Stochastic Systems: Using Adaptive Parametric Importance Sampling Methods:. [Internet] [Masters thesis]. Delft University of Technology; 2013. [cited 2019 Feb 17]. Available from: http://resolver.tudelft.nl/uuid:1ef9216e-d6f3-4687-88c5-d5fb9ce6b614.

Council of Science Editors:

Cox PB. Verification of Cascading Events in Interconnected Stochastic Systems: Using Adaptive Parametric Importance Sampling Methods:. [Masters Thesis]. Delft University of Technology; 2013. Available from: http://resolver.tudelft.nl/uuid:1ef9216e-d6f3-4687-88c5-d5fb9ce6b614

2. Gevaerts, C.J.P. Formal Abstraction of Stochastic Systems: Bringing Theory into Practice:.

Degree: 2014, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:a040fce4-02f3-46b2-9d47-0c2052f38642

► Recent developed theories in the field of formal abstraction of stochastic systems have provided new methods for solving the safety and reach-avoid problems. These new…
(more)

Subjects/Keywords: Markov Chains; Formal Verification; Markov Processes; Abstractions; Approximations; Safety Problem; Reach-Avoid Problem

…I am now; submitting my master of
science thesis.
*Delft*, *University* *of* *Technology*
January…

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Gevaerts, C. J. P. (2014). Formal Abstraction of Stochastic Systems: Bringing Theory into Practice:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:a040fce4-02f3-46b2-9d47-0c2052f38642

Chicago Manual of Style (16^{th} Edition):

Gevaerts, C J P. “Formal Abstraction of Stochastic Systems: Bringing Theory into Practice:.” 2014. Masters Thesis, Delft University of Technology. Accessed February 17, 2019. http://resolver.tudelft.nl/uuid:a040fce4-02f3-46b2-9d47-0c2052f38642.

MLA Handbook (7^{th} Edition):

Gevaerts, C J P. “Formal Abstraction of Stochastic Systems: Bringing Theory into Practice:.” 2014. Web. 17 Feb 2019.

Vancouver:

Gevaerts CJP. Formal Abstraction of Stochastic Systems: Bringing Theory into Practice:. [Internet] [Masters thesis]. Delft University of Technology; 2014. [cited 2019 Feb 17]. Available from: http://resolver.tudelft.nl/uuid:a040fce4-02f3-46b2-9d47-0c2052f38642.

Council of Science Editors:

Gevaerts CJP. Formal Abstraction of Stochastic Systems: Bringing Theory into Practice:. [Masters Thesis]. Delft University of Technology; 2014. Available from: http://resolver.tudelft.nl/uuid:a040fce4-02f3-46b2-9d47-0c2052f38642

Delft University of Technology

3. Esmaeil Zadeh Soudjani, S. Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems.

Degree: 2014, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa

► Stochastic hybrid systems involve the coupling of discrete, continuous, and probabilistic phenomena, in which the composition of continuous and discrete variables captures the behavior of…
(more)

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Esmaeil Zadeh Soudjani, S. (2014). Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems. (Doctoral Dissertation). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa

Chicago Manual of Style (16^{th} Edition):

Esmaeil Zadeh Soudjani, S. “Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems.” 2014. Doctoral Dissertation, Delft University of Technology. Accessed February 17, 2019. http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa.

MLA Handbook (7^{th} Edition):

Esmaeil Zadeh Soudjani, S. “Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems.” 2014. Web. 17 Feb 2019.

Vancouver:

Esmaeil Zadeh Soudjani S. Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems. [Internet] [Doctoral dissertation]. Delft University of Technology; 2014. [cited 2019 Feb 17]. Available from: http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa.

Council of Science Editors:

Esmaeil Zadeh Soudjani S. Formal Abstractions for Automated Verification and Synthesis of Stochastic Systems. [Doctoral Dissertation]. Delft University of Technology; 2014. Available from: http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; urn:NBN:nl:ui:24-uuid:201d5145-0717-4dea-b0d0-c018e510fdaa ; http://resolver.tudelft.nl/uuid:201d5145-0717-4dea-b0d0-c018e510fdaa

Delft University of Technology

4. Dobbe, R.I.J. A Mathematical Model for Epithelial Cellular Networks: Development, Analysis, and Integration:.

Degree: 2010, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:70646123-51fd-436d-acba-57aebd2bae8c

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Dobbe, R. I. J. (2010). A Mathematical Model for Epithelial Cellular Networks: Development, Analysis, and Integration:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:70646123-51fd-436d-acba-57aebd2bae8c

Chicago Manual of Style (16^{th} Edition):

Dobbe, R I J. “A Mathematical Model for Epithelial Cellular Networks: Development, Analysis, and Integration:.” 2010. Masters Thesis, Delft University of Technology. Accessed February 17, 2019. http://resolver.tudelft.nl/uuid:70646123-51fd-436d-acba-57aebd2bae8c.

MLA Handbook (7^{th} Edition):

Dobbe, R I J. “A Mathematical Model for Epithelial Cellular Networks: Development, Analysis, and Integration:.” 2010. Web. 17 Feb 2019.

Vancouver:

Dobbe RIJ. A Mathematical Model for Epithelial Cellular Networks: Development, Analysis, and Integration:. [Internet] [Masters thesis]. Delft University of Technology; 2010. [cited 2019 Feb 17]. Available from: http://resolver.tudelft.nl/uuid:70646123-51fd-436d-acba-57aebd2bae8c.

Council of Science Editors:

Dobbe RIJ. A Mathematical Model for Epithelial Cellular Networks: Development, Analysis, and Integration:. [Masters Thesis]. Delft University of Technology; 2010. Available from: http://resolver.tudelft.nl/uuid:70646123-51fd-436d-acba-57aebd2bae8c

Delft University of Technology

5. Adzkiya, D. Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms.

Degree: 2014, Delft University of Technology

URL: http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b

► Max-Plus-Linear (MPL) systems are a class of discrete-event systems with a continuous state space characterizing the timing of the underlying sequential discrete events. These systems…
(more)

Record Details Similar Records

❌

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

APA (6^{th} Edition):

Adzkiya, D. (2014). Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms. (Doctoral Dissertation). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b

Chicago Manual of Style (16^{th} Edition):

Adzkiya, D. “Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms.” 2014. Doctoral Dissertation, Delft University of Technology. Accessed February 17, 2019. http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b.

MLA Handbook (7^{th} Edition):

Adzkiya, D. “Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms.” 2014. Web. 17 Feb 2019.

Vancouver:

Adzkiya D. Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms. [Internet] [Doctoral dissertation]. Delft University of Technology; 2014. [cited 2019 Feb 17]. Available from: http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b.

Council of Science Editors:

Adzkiya D. Finite Abstractions of Max-Plus-Linear Systems: Theory and Algorithms. [Doctoral Dissertation]. Delft University of Technology; 2014. Available from: http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; urn:NBN:nl:ui:24-uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b ; http://resolver.tudelft.nl/uuid:9404b6f4-2cf0-4a7f-bd12-132a8cd0f43b