Formalizing Cyber--Physical System Model Transformation via Abstract Interpretation

Model transformation tools assist system designers by reducing the labor--intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and identifying constraints on system design imposed by these modeling assumptions. We have proposed a model transformation approach based on abstract interpretation, a static program analysis technique. Abstract interpretation allows us to define transformations that are provably correct and specific. This work develops the foundations of this approach to model transformation. We define model transformation in terms of abstract interpretation and prove the soundness of our approach. Furthermore, we develop formalisms useful for encoding model properties. This work provides a methodology for relating models of different aspects of a system and for applying modeling techniques from one system domain, such as smart power grids, to other domains, such as water distribution networks.Comment: 8 pages, 4 figures; to appear in HASE 2019 proceeding

A generators and relations derivation of Khovanov homology of 2 strand braid links

In the first part of the Thesis, we reformulate the Murakami-Ohtsuki-Yamada state-sum description of the level n Jones polynomial of an oriented link in terms of a suitable braided monoidal category whose morphisms are Q[q, q-1] s-linear combinations of oriented trivalent planar graphs, and give a corresponding description for the HOMFLY-PT polynomial. In the second part, we extend this construction and express the Khovanov Rozansky homology of an oriented link in terms of a combinatorially defined category whose morphisms are equivalence classes of formal complexes of (formal direct sums of shifted) oriented plane graphs. By working combinatorially, one avoids many of the computational difficulties involved in the matrix factorization computations of the original Khovanov-Rozansky formulation: one systematically uses combinatorial relations satisfied by these matrix factorizations to simplify the computation at a level that is easily handled. By using this technique, we can provide a computation of the level n Khovanov-Rozansky invariant of the 2-strand braid link with k crossings, for arbitrary n and k, confirming and extending previous results and conjectural predictions by Anokhina-Morozov, Carqueville-Murfet, Dolotin-Morozov, Gukov-Iqbal-Kozcaz-Vafa, and RasmussenComment: PhD thesi

Π2. Τεχνική έκθεση (ανάπτυξη μέτρων αξιολόγησης ευστάθειας σε αναλυτικές - συνθετικές διαδικασίες)

Στόχος της Αναλυτικής – Συνθετικής Προσέγγισης είναι να εκτιμηθεί το μοντέλο προτιμήσεων του αποφασίζοντος μέσα από μια διαδικασία στην οποία αποκαλύπτονται και δομούνται οι αναλυτικές προτιμήσεις του αποφασίζοντος πάνω στα κριτήρια αξιολόγησης. Σύμφωνα με την αναλυτική συνθετική προσέγγιση, ο αποφασίζων εκφράζει τις σφαιρικές του προτιμήσεις σε ένα σύνολο εναλλακτικών ενεργειών (σύνολο αναφοράς) αξιολογημένων σε ένα συνεπές σύνολο κριτηρίων και με βάση αυτές προσεγγίζεται το μοντέλο της αθροιστικής χρησιμότητας (αξίας)

Π4. Τεχνική έκθεση (εφαρμογές σε πραγματικά δεδομένα μέτρων αξιολόγησης ευστάθειας σε αναλυτικές-συνθετικές διαδικασίες)

Σκοπός της παρούσας Τεχνικής Έκθεσης είναι η επαλήθευση της αποτελεσματικότητας και η αξιοποίηση των θεωρητικών ευρημάτων και μεθοδολογιών ανάλυσης ευστάθειας σε αναλυτικές-συνθετικές διαδικασίες μέσω της εφαρμογής τους σε πραγματικά προβλήματα. Συγκεκριμένα, εφαρμόζονται τεχνικές βελτίωσης της ευστάθειας και μέτρα για την ανάλυση της ευστάθειας σε δύο πραγματικά προβλήματα που έχουν να κάνουν με τη μεθοδολογία MUSA για τη μέτρηση και την ανάλυση της ικανοποίησης των πελατών, και τη μέθοδο UTA, η οποία εφαρμόζεται σε προβλήματα κατάταξης εναλλακτικών λύσεων – δράσεων

Π3. Τεχνική έκθεση (Πειραματική αξιολόγηση μέτρων ευστάθειας σε αναλυτικές συνθετικές διαδικασίες)

Σκοπός της παρούσας Τεχνικής Έκθεσης είναι η παρουσίαση των αποτελεσμάτων εφαρμογής της ανάλυσης ευστάθειας σε προβλήματα πολυκριτηριακών ομαδικών αποφάσεων με τη χρήση οπτικών μέσων αναπαράστασης των λύσεων. Αυτό εκτιμάται ότι μπορεί να βοηθήσει τους αποφασίζοντες να συνειδητοποιήσουν αφενός το εύρος του φάσματος των προτεινόμενων βέλτιστων λύσεων, αφετέρου τις «αποστάσεις» που χωρίζουν την κρίση των αποφασιζόντων τόσο μεταξύ τους, όσο και του καθενός χωριστά από ένα συλλογικό μοντέλο απόφασης

Domestic Relations—Breach of Promise to Marry: Relic Revisited to Exclude Expectation Damages—Stanard v. Bolin, 88 Wn. 2d 614, 565 P.2d 94 (1977)

Plaintiff, relying on defendant\u27s proposal of marriage, trained a replacement for her job, placed her home for sale, sold her furniture, and incurred normal expenses incidental to a future union. One month before the date of marriage, defendant informed plaintiff he would not fulfill his promise of marriage; she subsequently became ill, repurchased her home furnishings, and cancelled all wedding plans. Plaintiff brought suit for breach of promise to marry, seeking damages for (1) direct pecuniary losses; (2) pain, impairment to health, humiliation, embarrassment; and (3) loss of the expected financial security of marriage. The superior court dismissed the complaint for failure to state a claim upon which relief could be granted. In a seven to two decision, the Washington Supreme Court reversed and remanded for trial, modifying the remedy of the cause of action to exclude damages for loss of future financial security. Stanard v. Bolin, 88 Wn. 2d 614, 565 P.2d 94 (1977)

Proposed Rule of Evidence 609: Impeachment of Criminal Defendants by Prior Convictions

This comment describes current Washington law on the use of criminal convictions to impeach the testimony of criminal defendants and examines the factors which are relevant to the formation of a more acceptable rule. Adoption of the proposed rule would also affect the rules for impeaching nondefendant witnesses. Only a criminal defendant, however, is in jeopardy of actually being convicted as a result of a jury\u27s misuse of evidence of prior convictions. Because the interests of the criminal defendant witness will be so drastically affected by the prior conviction rule which the Washington Supreme Court ultimately adopts, this comment will focus on how Proposed Rule of Evidence 609 would change such a defendant\u27s rights. This comment concludes that Proposed Rule 609 is a considerable improvement over the present Washington rule, but that certain modifications would be desirable. Finally, because the Washington Supreme Court\u27s adoption of Proposed Rule 609 would indicate its intent to adopt existing federal law, a critique of federal cases in which Federal Rule 609 has been applied is offered