Journal: TCPS

Volume 5, Issue 4

0 -- 0Tieu Long Mai, Nicolas Navet. Deep Learning to Predict the Feasibility of Priority-Based Ethernet Network Configurations
0 -- 0Chia-Heng Tu, Qihui Sun, Hsiao-Hsuan Chang. RAP: A Software Framework of Developing Convolutional Neural Networks for Resource-constrained Devices Using Environmental Monitoring as a Case Study
0 -- 0Tommaso Zoppi, Mohamad Gharib, Muhammad Atif, Andrea Bondavalli. Meta-Learning to Improve Unsupervised Intrusion Detection in Cyber-Physical Systems
0 -- 0Md. Tahmid Rahman Laskar, Jimmy Xiangji Huang, Vladan Smetana, Chris Stewart, Kees Pouw, Aijun An, Stephen Chan, Lei Liu. Extending Isolation Forest for Anomaly Detection in Big Data via K-Means
0 -- 0Jingtong Hu, Qi Zhu 0002, Susmit Jha. Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1
0 -- 0Siddharth Mysore, Bassel Mabsout, Kate Saenko, Renato Mancuso 0001. How to Train Your Quadrotor: A Framework for Consistently Smooth and Responsive Flight Control via Reinforcement Learning
0 -- 0Wei Jiang 0016, Zhiyuan He, Jinyu Zhan, Weijia Pan, Deepak Adhikari. Research Progress and Challenges on Application-Driven Adversarial Examples: A Survey
0 -- 0Stephanie Abrecht, Lydia Gauerhof, Christoph Gladisch, Konrad Groh, Christian Heinzemann, Matthias Woehrle. Testing Deep Learning-based Visual Perception for Automated Driving
0 -- 0Jianguo Chen, Kenli Li 0001, Keqin Li 0001, Philip S. Yu, Zeng Zeng. Dynamic Bicycle Dispatching of Dockless Public Bicycle-sharing Systems Using Multi-objective Reinforcement Learning
0 -- 0Saideep Tiku, Prathmesh Kale, Sudeep Pasricha. QuickLoc: Adaptive Deep-Learning for Fast Indoor Localization with Mobile Devices
0 -- 0Menghong Feng, Noman Bashir, Prashant J. Shenoy, David Emory Irwin, Beka Kosanovic. Model-driven Per-panel Solar Anomaly Detection for Residential Arrays
0 -- 0Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam. Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme
0 -- 0Colin Shea-Blymyer, Houssam Abbas. Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

Volume 5, Issue 3

0 -- 0Martín Barrère, Chris Hankin. Analysing Mission-critical Cyber-physical Systems with AND/OR Graphs and MaxSAT
0 -- 0Chenyang Lu 0001. Toward a Scientific and Engineering Discipline of Cyber-Physical Systems
0 -- 0Jianjun Wen, Waltenegus Dargie. Characterization of Link Quality Fluctuation in Mobile Wireless Sensor Networks
0 -- 0Craig Bakker, Arnab Bhattacharya 0008, Samrat Chatterjee, Draguna L. Vrabie. Metagames and Hypergames for Deception-Robust Control
0 -- 0Georgios Bakirtzis, Cody Harrison Fleming, Christina Vasilakopoulou. Categorical Semantics of Cyber-Physical Systems Theory
0 -- 0Jiachen Mao, Huanrui Yang, Ang Li 0005, Hai Li 0001, Yiran Chen. TPrune: Efficient Transformer Pruning for Mobile Devices
0 -- 0Giuseppe Bombara, Calin Belta. Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees
0 -- 0Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux. From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications
0 -- 0Shrey Baheti, Shreyas Badiger, Yogesh Simmhan. VIoLET: An Emulation Environment for Validating IoT Deployments at Large Scales
0 -- 0Gonçalo de Jesus, António Casimiro, Anabela Oliveira. Using Machine Learning for Dependable Outlier Detection in Environmental Monitoring Systems
0 -- 0Kai Li 0002, Ning Lu, Jingjing Zheng, Pei Zhang 0001, Wei Ni 0001, Eduardo Tovar. BloothAir: A Secure Aerial Relay System Using Bluetooth Connected Autonomous Drones
0 -- 0Pierre-François Gimenez, Jonathan Roux, Eric Alata, Guillaume Auriol, Mohamed Kaâniche, Vincent Nicomette. RIDS: Radio Intrusion Detection and Diagnosis System for Wireless Communications in Smart Environment

Volume 5, Issue 2

0 -- 0Bingzhuo Zhong, Claudius Jordan, Julien Provost. Extending Signal Temporal Logic with Quantitative Semantics by Intervals for Robust Monitoring of Cyber-physical Systems
0 -- 0Rafael Rosales, Michael Paulitsch. Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical Systems
0 -- 0Luyao Niu, Andrew Clark. A Differentially Private Incentive Design for Traffic Offload to Public Transportation
0 -- 0Kai-Björn Gemlau, Leonie Köhler, Rolf Ernst, Sophie Quinton. System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software
0 -- 0Li Yan 0004, Haiying Shen. Utilizing Game Theory to Optimize In-motion Wireless Charging Service Efficiency for Electric Vehicles
0 -- 0Fei Miao, Sihong He, Lynn Pepin, Shuo Han, Abdeltawab M. Hendawi, Mohamed E. Khalefa, John A. Stankovic, George J. Pappas. Data-driven Distributionally Robust Optimization For Vehicle Balancing of Mobility-on-Demand Systems
0 -- 0Laksh Bhatia, Ivana Tomic, Anqi Fu, Michael Breza, Julie A. McCann. Control Communication Co-Design for Wide Area Cyber-Physical Systems
0 -- 0João Bastos, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal. Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems
0 -- 0Aviral Shrivastava, Patricia Derler. Introduction to the Special Issue on Time for CPS (TCPS)
0 -- 0Srinarayana Nagarathinam, Arunchandar Vasan, Venkatesh Sarangan, Rajesh Jayaprakash, Anand Sivasubramaniam. User Placement and Optimal Cooling Energy for Co-working Building Spaces

Volume 5, Issue 1

0 -- 0Nisha Panwar, Shantanu Sharma 0001, Guoxi Wang, Sharad Mehrotra, Nalini Venkatasubramanian. CANOPY: A Verifiable Privacy-Preserving Token Ring-Based Communication Protocol for Smart Homes
0 -- 0Heena Rathore, Abhay Samant, Murtuza Jadliwala. TangleCV: A Distributed Ledger Technique for Secure Message Sharing in Connected Vehicles
0 -- 0Muhammad Ajmal Azad, Charith Perera, Samiran Bag, Mahmoud Barhamgi, Feng Hao. Privacy-preserving Crowd-sensed Trust Aggregation in the User-centeric Internet of People Networks
0 -- 0Abdelaziz Khaled, Samir Ouchani, Zahir Tari, Khalil Drira. Assessing the Severity of Smart Attacks in Industrial Cyber-Physical Systems
0 -- 0Scott Eisele, Taha Eghtesad, Keegan Campanelli, Prakhar Agrawal, Aron Laszka, Abhishek Dubey. Safe and Private Forward-trading Platform for Transactive Microgrids
0 -- 0Claudio Agostino Ardagna, Rasool Asal, Ernesto Damiani, Nabil El Ioini, Mehdi Elahi, Claus Pahl. From Trustworthy Data to Trustworthy IoT: A Data Collection Methodology Based on Blockchain
0 -- 0Abhimanyu Rawat, Mohammad Khodari, Mikael Asplund, Andrei V. Gurtov. Decentralized Firmware Attestation for In-Vehicle Networks
0 -- 0Venkata Reddy Palleti, Vishrut Kumar Mishra, Chuadhry Mujeeb Ahmed, Aditya Mathur. Can Replay Attacks Designed to Steal Water from Water Distribution Systems Remain Undetected?
0 -- 0Kaushal Kafle, Kevin Moran, Sunil Manandhar, Adwait Nadkarni, Denys Poshyvanyk. Security in Centralized Data Store-based Home Automation Platforms: A Systematic Analysis of Nest and Hue
0 -- 0Gabriela Suntaxi, Aboubakr Achraf El Ghazi, Klemens Böhm. Preserving Secrecy in Mobile Social Networks
0 -- 0Moreno Ambrosin, Mauro Conti, Riccardo Lazzeretti, Chia-Mu Yu. Introduction to the Special Issue on Security and Privacy for Connected Cyber-physical Systems