NDLI: Synthesis of optimal switching logic for hybrid systems

Please wait, while we are loading the content...

Challenges and potential solutions for complex embedded systems

Heterogeneous actor modeling

Repeatability, reproducibility, and rigor in systems research

Automated distributed implementation of component-based models with priorities

On under-determined dynamical systems

Precise control flow reconstruction using boolean logic

From boolean to quantitative synthesis

Reliability-aware frame packing for the static segment of flexray

Software certification: coding, code, and coders

Demand bound server: generalized resource reservation for hard real-time systems

Cross-layer analysis, testing and verification of automotive control software

Formal verification of hybrid systems

Performance-aware scheduler synthesis for control systems

Symbolic simulation on complicated loops for WCET path analysis

Timing and schedulability analysis for distributed automotive control applications

Resource allocation contracts for open analytic runtime models

RT-Xen: towards real-time hypervisor scheduling in xen

Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks

Computing semi-algebraic invariants for polynomial dynamical systems

Automated addition of fault recovery to cyber-physical component-based models

Safety-assured development of the GPCA infusion pump software

Multi-level hierarchical scheduling in ethernet switches

New challenges in certification for aircraft software

Real-time communication analysis for networks with two-stage arbitration

Model-checking behavioral programs

Synchronous control of reconfiguration in fractal component-based systems: a case study

A synergetic approach to accurate analysis of cache-related preemption delay

Time-predictable and composable architectures for dependable embedded systems

A practical ontology framework for static model analysis

Aciom: application characteristics-aware disk and network i/o management on android platform

Task synchronization and allocation for many-core real-time systems

Synthesis of optimal switching logic for hybrid systems

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code

Relating average and discounted costs for quantitative analysis of timed systems

Hard-real-time scheduling of data-dependent tasks in embedded streaming applications

Software certification experience in the canadian nuclear industry: lessons for the future

Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems

ARMor: fully verified software fault isolation

ExLRU: a unified write buffer cache management for flash memory

Challenges in the regulatory approval of medical cyber-physical systems

Synthesis of optimal switching logic for hybrid systems

Content Provider	ACM Digital Library
Author	Jha, Susmit Tiwari, Ashish Seshia, Sanjit A.
Abstract	Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system satisfies a quantitative specification. We formalize and solve the problem of optimal switching logic synthesis for quantitative specifications over long run behavior. Our paper generalizes earlier work on synthesis for safety. We present an approach for specifying quantitative measures using reward and penalty functions, and illustrate its effectiveness using several examples. Each trajectory of the system, and each state of the system, is associated with a cost. Our goal is to synthesize a system that minimizes this cost from each initial state. Our algorithm works in two steps. For a single initial state, we reduce the synthesis problem to an unconstrained numerical optimization problem which can be solved by any off-the-shelf numerical optimization engines. In the next step, optimal switching condition is learnt as a generalization of the optimal switching states discovered for each initial state. We prove the correctness of our technique and demonstrate the effectiveness of this approach with experimental results.
Starting Page	107
Ending Page	116
Page Count	10
File Format	PDF
ISBN	9781450307147
DOI	10.1145/2038642.2038660
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-10-09
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Switching logic synthesis Numerical optimization Hybrid systems Algorithmic learning
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in