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:"Delft University of Technology" +contributor:("Abate, A."). Showing records 1 – 5 of 5 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

 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 DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th 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 (16th 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 (7th 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

.