Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Blake C. Rawlings"'
Autor:
Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
Publikováno v:
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23e0667252265c72d7f11951e550e4e4
https://doi.org/10.1145/3563822.3568014
https://doi.org/10.1145/3563822.3568014
Publikováno v:
IEEE Transactions on Control Systems Technology. 28:644-652
We present an algorithm to compute the unique maximally permissive state-based supervisor for any deterministic finite labeled transition system subject to a specification with combined invariance and reachability requirements. The specifications tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc6e07898c953a927db500fc26adffe7
https://doi.org/10.1109/tcst.2018.2877621
https://doi.org/10.1109/tcst.2018.2877621
Autor:
Christos T. Maravelias, Venkatachalam Avadiappan, Blake C. Rawlings, Stéphane Lafortune, John M. Wassick
Publikováno v:
Computers & Chemical Engineering. 128:201-215
In this paper, we address the problem of incorporating knowledge of the automation system in a chemical plant into the online scheduling problem. Optimization models for online scheduling necessarily omit some of the plant dynamics to ensure sufficie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6e4e24cdb56bbd20aab257d8feb8fb2
https://doi.org/10.1016/j.compchemeng.2019.06.015
https://doi.org/10.1016/j.compchemeng.2019.06.015
Publikováno v:
Computers & Chemical Engineering. 114:211-220
In this paper, we apply formal verification and falsification of temporal logic specifications to analyze chemical plant automation systems. We present new results, obtained by applying a recently-developed approach to handle combined invariance and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38786e1fe16577390a96f8a960475ee1
https://doi.org/10.1016/j.compchemeng.2017.11.004
https://doi.org/10.1016/j.compchemeng.2017.11.004
Publikováno v:
Journal of Automated Reasoning. 60:107-131
We consider the problem of privacy enforcement for dynamic systems using the technique of obfuscation. Our approach captures the trade-off between privacy and utility, in a formal reactive framework. Specifically, we model a dynamic system as an auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2eec57b573a930d93427ac576d7aab96
https://doi.org/10.1007/s10817-017-9420-x
https://doi.org/10.1007/s10817-017-9420-x
Autor:
Blake C. Rawlings, B. Erik Ydstie
Publikováno v:
Discrete Event Dynamic Systems. 27:463-479
We propose an abstraction-based method that can be applied to falsify a class of computation tree logic (CTL) specifications that combine invariance and reachability requirements in terms of the discrete state of a hybrid control system. The fragment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3638f0060d87307010f3bc12888932cb
https://doi.org/10.1007/s10626-017-0241-1
https://doi.org/10.1007/s10626-017-0241-1
Autor:
John M. Wassick, Blake C. Rawlings, Venkatachalam Avadiappan, Christos T. Maravelias, Stéphane Lafortune
We present an approach to online scheduling of chemical plant operations that incorporates precise knowledge of the dynamics enforced by the automation system. The scheduling problem is solved using a discrete-time state-space resource task network f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4282a36aba0e44849e1a8d1c69b37b9
https://doi.org/10.1016/b978-0-444-64241-7.50337-2
https://doi.org/10.1016/b978-0-444-64241-7.50337-2
Publikováno v:
Industrial & Engineering Chemistry Research. 53:5299-5310
In this paper, we provide a review of Professor Powers’s and his students’ work on connecting fault analysis, discrete process control, human operating procedures, and symbolic model checking. In recent years, this type of research is placed unde
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4089282763a8514242c0fb24ef03bd3b
https://doi.org/10.1021/ie402998g
https://doi.org/10.1021/ie402998g
Publikováno v:
WODES
A specification expressed in computation tree logic (CTL) that enforces safety and reachability requirements in discrete event systems is proposed. It is shown that the specification has a unique minimal control strategy that maximizes the set of sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98c0d8038d7838e8fdcaee8ad107d7d6
https://doi.org/10.3182/20140514-3-fr-4046.00127
https://doi.org/10.3182/20140514-3-fr-4046.00127
Publikováno v:
Industrial & Engineering Chemistry Research. 51:12642-12652
A new approach for flare monitoring is proposed so that flare combustion efficiency can be predicted online in industrial plants. Multivariate image analysis (MIA), which is based on principal component analysis (PCA) and projection to latent structu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e026d46f298c5e1db205759ad3424d9
https://doi.org/10.1021/ie3003039
https://doi.org/10.1021/ie3003039