{"id":{"repo_id":"queens","oai_identifier":"oai:queensu.scholaris.ca:1974/36534"},"canonical_url":"https://search.dev.ndltd.org/etd/queens/oai:queensu.scholaris.ca:1974/36534","repository":{"repo_id":"queens","name":"Queens University","base_url":"https://qspace.library.queensu.ca/server/oai/request"},"display":{"title":"Data-Driven Pipeline for Learning Discrete behavioural Models of Cyber-Physical Systems","abstract":"Cyber-Physical Systems (CPS), such as cruise control systems, smart thermostats, and manufacturing controllers, generate continuous streams of sensor data and system parameters that show behavioural patterns. Extracting discrete abstractions from these logs is useful for fault detection, system monitoring, or even reverse engineering when no model of the system is available. The core contribution of this research is the development of an automated pipeline for transforming raw, continuous-valued CPS logs into structured discrete-event behavioural models called automata, while minimizing the need for ground truth about the data or the system that generated the logs. The pipeline consists of two recurring steps. In the discretization stage, high-dimensional time series data are converted into event traces without requiring labelled ground truth. A non-parametric change point detection algorithm identifies statistical changes in sensor readings or system parameters, which are treated as events. These events are then grouped into event types across system variables in an unsupervised manner, requiring no prior knowledge of event categories. The resulting event traces are subsequently passed to the automata learning stage, where a probabilistic timed automata learning algorithm is applied to derive a behavioural model of the system. Both the discretization step and the model learning step are algorithms with hyperparameters. In the absence of prior knowledge about the data, a poor manual choice of hyperparameters can produce uninformative models. To address this and to keep the need for prior knowledge to a minimum, we design the pipeline as a nested particle swarm optimization framework guided by a quality measure from the automata learning algorithm of choice. This enables automatic tuning of discretization and learning hyperparameters through non-convex optimization, eliminating the need for manual intervention. The method is evaluated on two simulated datasets and a real-world one. The strengths and limitations of the pipeline are discussed alongside its performance on the evaluation datasets. The pipeline is able to capture meaningful behaviour on simulated datasets, and the quality metrics obtained on all datasets are encouraging.","abstract_html":"Cyber-Physical Systems (CPS), such as cruise control systems, smart thermostats, and manufacturing controllers, generate continuous streams of sensor data and system parameters that show behavioural patterns. Extracting discrete abstractions from these logs is useful for fault detection, system monitoring, or even reverse engineering when no model of the system is available. The core contribution of this research is the development of an automated pipeline for transforming raw, continuous-valued CPS logs into structured discrete-event behavioural models called automata, while minimizing the need for ground truth about the data or the system that generated the logs. The pipeline consists of two recurring steps. In the discretization stage, high-dimensional time series data are converted into event traces without requiring labelled ground truth. A non-parametric change point detection algorithm identifies statistical changes in sensor readings or system parameters, which are treated as events. These events are then grouped into event types across system variables in an unsupervised manner, requiring no prior knowledge of event categories. The resulting event traces are subsequently passed to the automata learning stage, where a probabilistic timed automata learning algorithm is applied to derive a behavioural model of the system. Both the discretization step and the model learning step are algorithms with hyperparameters. In the absence of prior knowledge about the data, a poor manual choice of hyperparameters can produce uninformative models. To address this and to keep the need for prior knowledge to a minimum, we design the pipeline as a nested particle swarm optimization framework guided by a quality measure from the automata learning algorithm of choice. This enables automatic tuning of discretization and learning hyperparameters through non-convex optimization, eliminating the need for manual intervention. The method is evaluated on two simulated datasets and a real-world one. The strengths and limitations of the pipeline are discussed alongside its performance on the evaluation datasets. The pipeline is able to capture meaningful behaviour on simulated datasets, and the quality metrics obtained on all datasets are encouraging.","abstract_has_math":false,"creators":["Kianersi, Nastaran"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Electrical and Computer Engineering","school":null,"contributors":[],"advisors":["Kauffman, Sean"],"committee_chairs":[],"committee_members":[],"year":2026,"date_issued":"2026-07-03","date_published":"2026-07-03","updated_at":"2026-07-27T20:35:37Z","subjects":["Event Detection","Event Classification","Change Point Detection","Metaheuristic Optimization","Model Learning","Automata Learning","Cyber-Physical Systems"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/1974/36534","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.department","label":"Department","values":["Electrical and Computer Engineering"]},{"key":"dc:contributor.supervisor","label":"Supervisor","values":["Kauffman, Sean"]},{"key":"dc:creator","label":"Author","values":["Kianersi, Nastaran"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2026-07-03T14:32:45Z"]},{"key":"dc:date.issued","label":"Date","values":["2026-07-03"]},{"key":"dc:type","label":"Dc Type","values":["thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Event Detection","Event Classification","Change Point Detection","Metaheuristic Optimization","Model Learning","Automata Learning","Cyber-Physical Systems"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/1974/36534"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Cyber-Physical Systems (CPS), such as cruise control systems, smart thermostats, and manufacturing controllers, generate continuous streams of sensor data and system parameters that show behavioural patterns. Extracting discrete abstractions from these logs is useful for fault detection, system monitoring, or even reverse engineering when no model of the system is available. The core contribution of this research is the development of an automated pipeline for transforming raw, continuous-valued CPS logs into structured discrete-event behavioural models called automata, while minimizing the need for ground truth about the data or the system that generated the logs. The pipeline consists of two recurring steps. In the discretization stage, high-dimensional time series data are converted into event traces without requiring labelled ground truth. A non-parametric change point detection algorithm identifies statistical changes in sensor readings or system parameters, which are treated as events. These events are then grouped into event types across system variables in an unsupervised manner, requiring no prior knowledge of event categories. The resulting event traces are subsequently passed to the automata learning stage, where a probabilistic timed automata learning algorithm is applied to derive a behavioural model of the system. Both the discretization step and the model learning step are algorithms with hyperparameters. In the absence of prior knowledge about the data, a poor manual choice of hyperparameters can produce uninformative models. To address this and to keep the need for prior knowledge to a minimum, we design the pipeline as a nested particle swarm optimization framework guided by a quality measure from the automata learning algorithm of choice. This enables automatic tuning of discretization and learning hyperparameters through non-convex optimization, eliminating the need for manual intervention. The method is evaluated on two simulated datasets and a real-world one. The strengths and limitations of the pipeline are discussed alongside its performance on the evaluation datasets. The pipeline is able to capture meaningful behaviour on simulated datasets, and the quality metrics obtained on all datasets are encouraging."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["M.A.Sc."]},{"key":"dc:title","label":"Title","values":["Data-Driven Pipeline for Learning Discrete behavioural Models of Cyber-Physical Systems"]}]}],"canonical_facts":{"dc:contributor.department":["Electrical and Computer Engineering"],"dc:contributor.supervisor":["Kauffman, Sean"],"dc:creator":["Kianersi, Nastaran"],"dc:date.accessioned":["2026-07-03T14:32:45Z"],"dc:date.issued":["2026-07-03"],"dc:description.abstract":["Cyber-Physical Systems (CPS), such as cruise control systems, smart thermostats, and manufacturing controllers, generate continuous streams of sensor data and system parameters that show behavioural patterns. Extracting discrete abstractions from these logs is useful for fault detection, system monitoring, or even reverse engineering when no model of the system is available. The core contribution of this research is the development of an automated pipeline for transforming raw, continuous-valued CPS logs into structured discrete-event behavioural models called automata, while minimizing the need for ground truth about the data or the system that generated the logs. The pipeline consists of two recurring steps. In the discretization stage, high-dimensional time series data are converted into event traces without requiring labelled ground truth. A non-parametric change point detection algorithm identifies statistical changes in sensor readings or system parameters, which are treated as events. These events are then grouped into event types across system variables in an unsupervised manner, requiring no prior knowledge of event categories. The resulting event traces are subsequently passed to the automata learning stage, where a probabilistic timed automata learning algorithm is applied to derive a behavioural model of the system. Both the discretization step and the model learning step are algorithms with hyperparameters. In the absence of prior knowledge about the data, a poor manual choice of hyperparameters can produce uninformative models. To address this and to keep the need for prior knowledge to a minimum, we design the pipeline as a nested particle swarm optimization framework guided by a quality measure from the automata learning algorithm of choice. This enables automatic tuning of discretization and learning hyperparameters through non-convex optimization, eliminating the need for manual intervention. The method is evaluated on two simulated datasets and a real-world one. The strengths and limitations of the pipeline are discussed alongside its performance on the evaluation datasets. The pipeline is able to capture meaningful behaviour on simulated datasets, and the quality metrics obtained on all datasets are encouraging."],"dc:description.degree":["M.A.Sc."],"dc:identifier.uri":["https://hdl.handle.net/1974/36534"],"dc:language.iso":["eng"],"dc:subject":["Event Detection","Event Classification","Change Point Detection","Metaheuristic Optimization","Model Learning","Automata Learning","Cyber-Physical Systems"],"dc:title":["Data-Driven Pipeline for Learning Discrete behavioural Models of Cyber-Physical Systems"],"dc:type":["thesis"]},"updated_at":"2026-07-27T20:35:37Z"}