Design and Verification of Cyber-Physical Systems: From Theory to Applications
portes grátis
Design and Verification of Cyber-Physical Systems: From Theory to Applications
Essays Dedicated to Martin Fraenzle on the Occasion of His 60th Birthday
Rauh, Andreas; Finkbeiner, Bernd; Kroeger, Paul
Springer Nature Switzerland AG
03/2026
Mole
Inglês
9783032168573
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Foundations of Modeling and Analysis.- Robust Structural Transformations for Real-Time Systems.- You May Delay, but Time Will Not: Timed Games Under Delayed Control.- Sampling-based Polytope Calculus: Computations and Applications.- Higher-Dimensional Timed Automata for Real-Time Concurrency.- Fixed-Point Reasoning for Stochastic Systems: A Survey of Recent Advancements and Open Challenges.- On Verification and Constraint Generation for Families of Similar Hybrid Automata.- Operational and Algebraic Approaches to the Two-Run Relational System.- Learning and Synthesis.- Learning of Switched Nonlinear Dynamical Systems: Passive and Active Approaches.- Provable Reach-avoid Controllers Synthesis for Deterministic Discrete-time Systems Based on Convex Computations of Controlled Reach-avoid Sets.- Liquid Resistance Liquid Capacitance Networks.- Barrier Certificate Synthesis via Interpolation and Difference-of-Convex Programming.- Formalizations of Complex Cyber-Physical Systems Defining Contracts for Autonomous Hybrid Systems in Structured Natural Language.- Set-Based Assumption-Guarantee Reasoning for Handling Uncertainty in Functionality and Safety Verification of Dynamic Systems.- A Scenario Specification Language for Testing Complex Cyber-Physical Systems.- Explain it for Safety: Explanations for Risk Mitigation.- On Scenario Formalisms for Automated Driving.- Towards Applications.- Boolean Dreams and Real Constraints: Two Decades of iSAT Solving the Undecidable.- Secure Set-based State Estimation of Multi-Sensor Switched Systems: An Impulsive-Switched Observer Approach.- A Review of Arithmetic Circuit Verification Using Symbolic Computer Algebra.- Ensuring Correctness Effciently for RISC-V Processors with Customised Multiplier Designs.- Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS.- Learnability of Models of Cyber-Physical Systems - A Review.- A Review of Cyber-Physical Systems in Driving: Assisting Older People.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Cyber-Physical Systems;Verification;Formal Methods;Hybrid Systems;Embedded Systems;Critical Systems Engineering;Real-Time Systems;Reactive Systems
Foundations of Modeling and Analysis.- Robust Structural Transformations for Real-Time Systems.- You May Delay, but Time Will Not: Timed Games Under Delayed Control.- Sampling-based Polytope Calculus: Computations and Applications.- Higher-Dimensional Timed Automata for Real-Time Concurrency.- Fixed-Point Reasoning for Stochastic Systems: A Survey of Recent Advancements and Open Challenges.- On Verification and Constraint Generation for Families of Similar Hybrid Automata.- Operational and Algebraic Approaches to the Two-Run Relational System.- Learning and Synthesis.- Learning of Switched Nonlinear Dynamical Systems: Passive and Active Approaches.- Provable Reach-avoid Controllers Synthesis for Deterministic Discrete-time Systems Based on Convex Computations of Controlled Reach-avoid Sets.- Liquid Resistance Liquid Capacitance Networks.- Barrier Certificate Synthesis via Interpolation and Difference-of-Convex Programming.- Formalizations of Complex Cyber-Physical Systems Defining Contracts for Autonomous Hybrid Systems in Structured Natural Language.- Set-Based Assumption-Guarantee Reasoning for Handling Uncertainty in Functionality and Safety Verification of Dynamic Systems.- A Scenario Specification Language for Testing Complex Cyber-Physical Systems.- Explain it for Safety: Explanations for Risk Mitigation.- On Scenario Formalisms for Automated Driving.- Towards Applications.- Boolean Dreams and Real Constraints: Two Decades of iSAT Solving the Undecidable.- Secure Set-based State Estimation of Multi-Sensor Switched Systems: An Impulsive-Switched Observer Approach.- A Review of Arithmetic Circuit Verification Using Symbolic Computer Algebra.- Ensuring Correctness Effciently for RISC-V Processors with Customised Multiplier Designs.- Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS.- Learnability of Models of Cyber-Physical Systems - A Review.- A Review of Cyber-Physical Systems in Driving: Assisting Older People.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
