Publications

Search results for wp4 [Reset Search]

2013

V. Raman, N. Piterman, and H. Kress-Gazit, “Provably Correct Continuous Control for High-Level Robot Behaviors with Actions of Arbitrary Execution Durations”, in 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, 2013.

“Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8054. 2013.

J. Markovski, “Reliable supervisory coordination of stochastic communicating processes with data”, in SAC, 2013.

J. Markovski and M. A. Reniers, “Supervisory Movement Coordination in Pipeless Chemical Plants”, in ETFA, 2013.

D. E. Nadales Agut, D. A. van Beek, and J. E. Rooda, “Syntax and semantics of the compositional interchange format for hybrid systems”, J. Log. Algebr. Program., vol. 82, p. 1-52, 2013.

G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Synthesizing Modal Transition Systems from Triggered Scenarios”, IEEE Transactions on Software Engineering, vol. 39, p. 975-1001, 2013.

Synthesising Modal Transition Systems from Triggered Scenarios_2013.pdf (658.89 KB)

J. Markovski, “Towards Optimal Supervisory Control of Discrete-Time Stochastic Discrete-Event Processes with Data”, in ACSD, 2013.

J. Markovski, “Towards Supervisory Control of Generally-Distributed Discrete-Event Systems”, in EPEW, 2013.

2012

G. E. Sibay, V. A. Braberman, S. Uchitel, and J. Kramer, “Distribution of Modal Transition Systems”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012, vol. 7436, p. 403-417.

Distribution_of_Modal_Transition_Systems.pdf (204.25 KB)

R. J. M. Theunissen, D. A. van Beek, and J. E. Rooda, “Improving evolvability of a patient communication control system using state-based supervisory control synthesis”, Advanced Engineering Informatics, vol. 26, p. 502-515, 2012.

J. Markovski and M. A. Reniers, “An integrated state- and event-based framework for verifying liveness in supervised systems”, in ICARCV, 2012.

N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “The Modal Transition System Control Problem”, in 18th International Symposium on Formal Methods (FM 2012), Paris, France, 2012.

the_modal_transition_systems_control_problem.pdf (247.44 KB)

J. Markovski and J. M. van de Mortel-Fronczak, “Modeling for Safety in a Synthesis-Centric Systems Engineering Framework”, in SAFECOMP Workshops, 2012.

J. Markovski, D. A. van Beek, and J. C. M. Baeten, “Partially-Supervised Plants: Embedding Control Requirements in Plant Components”, in IFM, 2012.

J. Markovski, “Process theory for supervisory control of stochastic systems with data”, in ETFA, 2012.

J. Markovski, “Process theory for supervisory control with partial observation of events and states”, in CDC, 2012.

J. Markovski, “A process-theoretic state-based framework for live supervision”, in CASE, 2012.

E. E. S. Musa, “Verification of Stochastic Requirements in Supervised Plants”, SE Report, TUE. 2012.

J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, in ACSD, 2012.

J. Markovski and M. A. Reniers, “Verifying Performance of Supervised Plants”, 2010 10th International Conference on Application of Concurrency to System Design, p. 52-61, 2012.

Pages