#cyberphysicalsystems — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cyberphysicalsystems, aggregated by home.social.
-
📊 It shouldn’t take hours of manual configuration to get widgets and filters adjusted to answer a question from a CISO or site manager.
With Claroty xDome, you can now generate AI-powered dashboards and reports in seconds. Just describe what you need, and the platform builds it for you.
No manual configuration. No guesswork.
👉 Read more: https://claroty.com/blog/instantly-visualize-your-cps-environment-with-ai
#CyberPhysicalSystems #AssetManagement #OTSecurity #Cybersecurity
-
📊 It shouldn’t take hours of manual configuration to get widgets and filters adjusted to answer a question from a CISO or site manager.
With Claroty xDome, you can now generate AI-powered dashboards and reports in seconds. Just describe what you need, and the platform builds it for you.
No manual configuration. No guesswork.
👉 Read more: https://claroty.com/blog/instantly-visualize-your-cps-environment-with-ai
#CyberPhysicalSystems #AssetManagement #OTSecurity #Cybersecurity
-
My Verification of Autonomous Systems book is finally out!
In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.
Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.
I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!
E-book now available for download and hard copy coming soon!
* This book is about verifying autonomous embodied robots, not LLMs or AI models.
^ No AI was used in the generation of this book's content.
Link: https://link.springer.com/book/10.1007/978-3-031-88546-4
#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation
-
My Verification of Autonomous Systems book is finally out!
In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.
Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.
I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!
E-book now available for download and hard copy coming soon!
* This book is about verifying autonomous embodied robots, not LLMs or AI models.
^ No AI was used in the generation of this book's content.
Link: https://link.springer.com/book/10.1007/978-3-031-88546-4
#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation
-
My Verification of Autonomous Systems book is finally out!
In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.
Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.
I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!
E-book now available for download and hard copy coming soon!
* This book is about verifying autonomous embodied robots, not LLMs or AI models.
^ No AI was used in the generation of this book's content.
Link: https://link.springer.com/book/10.1007/978-3-031-88546-4
#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation
-
My Verification of Autonomous Systems book is finally out!
In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.
Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.
I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!
E-book now available for download and hard copy coming soon!
* This book is about verifying autonomous embodied robots, not LLMs or AI models.
^ No AI was used in the generation of this book's content.
Link: https://link.springer.com/book/10.1007/978-3-031-88546-4
#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation
-
My Verification of Autonomous Systems book is finally out!
In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.
Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.
I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!
E-book now available for download and hard copy coming soon!
* This book is about verifying autonomous embodied robots, not LLMs or AI models.
^ No AI was used in the generation of this book's content.
Link: https://link.springer.com/book/10.1007/978-3-031-88546-4
#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation
-
🤖🚗 AI is moving into the physical world – but how do we verify it?
Prof. Daniel Neider from the Department of Computer Science at TU Dortmund University joined a Shonan Meeting 🇯🇵, a selective research seminar bringing together experts in AI, formal methods, and robotics.
The focus:
🔬 LLM-guided synthesis
🧪 testing
📐 verification of learning-enabled cyber-physical systems.
Key research for building trustworthy AI.
#TrustworthyAI #ReliableAI #CyberPhysicalSystems #AIresearch -
🤖🚗 AI is moving into the physical world – but how do we verify it?
Prof. Daniel Neider from the Department of Computer Science at TU Dortmund University joined a Shonan Meeting 🇯🇵, a selective research seminar bringing together experts in AI, formal methods, and robotics.
The focus:
🔬 LLM-guided synthesis
🧪 testing
📐 verification of learning-enabled cyber-physical systems.
Key research for building trustworthy AI.
#TrustworthyAI #ReliableAI #CyberPhysicalSystems #AIresearch -
With cyber-physical systems (CPS) becoming increasingly central to logistics, supply chains, and industrial operations, protecting them goes beyond traditional IT security. 🌐 It requires a holistic approach that bridges #IT and #OT, providing full visibility, prioritizing risk, and ensuring operational continuity.
🔖 Our latest blog explores how Claroty helps organizations safeguard the CPS that power global supply chains. Read here: https://claroty.com/blog/protecting-the-cyber-physical-systems-that-power-global-supply-chains
#CyberPhysicalSystems #OTSecurity #SupplyChainSecurity #CyberResilience #IndustrialCybersecurity
-
🚨 The recent cyberattack on Michigan-based medical tech manufacturer Stryker shows that threats now come not only from state actors but also from opportunistic hacktivist groups with geopolitical motives.
In this blog, we explore what the attack reveals about how global conflict is reshaping OT and cyber-physical systems (CPS) security, with impacts that go far beyond IT—threatening operational continuity, supply chains, and safety in #industrial environments.
Stay informed on these evolving risks and learn how to strengthen your organization’s resilience.
📖 Read here:
https://claroty.com/blog/stryker-cyberattack-brings-geopolitical-conflict-to-manufacturing#CyberPhysicalSystems #OTSecurity #ManufacturingSecurity #CyberThreats #CriticalInfrastructureSecurity #Stryker #Handala
-
🚨 The recent cyberattack on Michigan-based medical tech manufacturer Stryker shows that threats now come not only from state actors but also from opportunistic hacktivist groups with geopolitical motives.
In this blog, we explore what the attack reveals about how global conflict is reshaping OT and cyber-physical systems (CPS) security, with impacts that go far beyond IT—threatening operational continuity, supply chains, and safety in #industrial environments.
Stay informed on these evolving risks and learn how to strengthen your organization’s resilience.
📖 Read here:
https://claroty.com/blog/stryker-cyberattack-brings-geopolitical-conflict-to-manufacturing#CyberPhysicalSystems #OTSecurity #ManufacturingSecurity #CyberThreats #CriticalInfrastructureSecurity #Stryker #Handala
-
🚰 Water and wastewater utilities depend on complex cyber-physical systems to deliver essential services, but traditional IT-centric security approaches don’t address the unique risks in these environments.
Discover how CPS Exposure Management helps utilities gain visibility into assets, prioritize risk based on operational impact, and strengthen resilience across #water and #wastewater systems.
📄 Read here: https://claroty.com/resources/white-papers/cps-exposure-management-for-water-wastewater-systems
#ExposureManagement #WaterSecurity #CriticalInfrastructure #OTSecurity #CyberPhysicalSystems
-
🚰 Water and wastewater utilities depend on complex cyber-physical systems to deliver essential services, but traditional IT-centric security approaches don’t address the unique risks in these environments.
Discover how CPS Exposure Management helps utilities gain visibility into assets, prioritize risk based on operational impact, and strengthen resilience across #water and #wastewater systems.
📄 Read here: https://claroty.com/resources/white-papers/cps-exposure-management-for-water-wastewater-systems
#ExposureManagement #WaterSecurity #CriticalInfrastructure #OTSecurity #CyberPhysicalSystems
-
Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung -
Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung -
Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung -
Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung -
Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung -
🤖 Is Information Digital?
At the AI Colloquium, Edward A. Lee (UC Berkeley) explores whether objective observation can ever fully capture physical reality. 📡🌍
Using concepts from computer science & information theory, he argues that some knowledge may require embodied interaction – even for machines. 🚲🤖
📅 5 March | 13:00–15:00 | TU Dortmund
What are the limits of digital representation?
#AIColloquium #CyberPhysicalSystems #TrustworthyAI #PhilosophyOfAI
Photo: Hesham Elsherif/TU Dortmund
-
🤖 Is Information Digital?
At the AI Colloquium, Edward A. Lee (UC Berkeley) explores whether objective observation can ever fully capture physical reality. 📡🌍
Using concepts from computer science & information theory, he argues that some knowledge may require embodied interaction – even for machines. 🚲🤖
📅 5 March | 13:00–15:00 | TU Dortmund
What are the limits of digital representation?
#AIColloquium #CyberPhysicalSystems #TrustworthyAI #PhilosophyOfAI
Photo: Hesham Elsherif/TU Dortmund
-
Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup -
Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup -
Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup -
Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup -
Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup -
🏆 Congrats to Professor Reinhard Wilhelm for being awarded the 2025 ACM SIGBED Technical Achievement Award!
His work in WCET analysis has shaped safe embedded, real-time, and cyber-physical systems used worldwide, from aircraft control to medical devices.
🔗 Read more: https://sic.link/profwilhelmacm
📸 © Iris Maurer
#UdS #SaarlandInformaticsCampus #saarlanduniversity #Saarbrücken #Saarland #realtimesystems #embeddedsystems #cyberphysicalsystems #ACM #computerscience #WCETAnalysis #AbsInt
-
🛡️ Remote access remains the leading risk to cyber-physical systems, exposing critical infrastructure to advanced threats. Explore key challenges and effective mitigation strategies in this blog: https://claroty.com/blog/why-remote-access-is-considered-the-1-risk-to-your-cyber-physical-systems-environment
-
🛡️ Remote access remains the leading risk to cyber-physical systems, exposing critical infrastructure to advanced threats. Explore key challenges and effective mitigation strategies in this blog: https://claroty.com/blog/why-remote-access-is-considered-the-1-risk-to-your-cyber-physical-systems-environment
-
Consider submitting if you have active research in data-driven controller design, algorithms, or tools with an application to smart cities, smart power grids, smart transportation, connected-and-autonomous vehicles, or a broader area of CPS.
#iot #power #data #research #algorithms #transportation #cyber #computing #smartcities #smartgrid #computing #cps #cyberphysicalsystems #cyberattack #cyberresilience
Website: https://di-cps.github.io/
Submission Link: https://easychair.org/conferences/?conf=dicps23
-
Hello! Back here after a couple of years so reintroducing myself. I’m a faculty member in the #computerscience department at The George Washington University working on #security and #resilience of computing systems, most notably #autonomoussystems and #cyberphysicalsystems.
I am also a news junkie so you will see a lot of posts about all sorts of things, most commonly #politics (US and India) and #sports such as cricket.