Quantified Differential Dynamic Logic for Distributed Hybrid Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-15205-4_36
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

A Quantified Logic of Evidence

Annals of Pure and Applied Logic
Logic
2008English

Convex Dynamic Programming for Hybrid Systems

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2002English

Fuzzy-Logic Framework for Future Dynamic Cellular Systems

Eurasip Journal on Wireless Communications and Networking
Computer NetworksComputer Science ApplicationsSignal ProcessingCommunications
2015English

Dynamic Logic for Data-Aware Systems: Decidability Results

2017English

Code Generation From Hybrid Systems Models for Distributed Embedded Systems

English

An Algorithm for Discrete Event Logic Simulation on Distributed Systems

English

Distributed Diagnosis for Large Discrete Event Dynamic Systems

IFAC Proceedings Volumes
2002English

Distributed Slicing in Dynamic Systems

2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy