Pages that link to "Item:Q1020553"
From MaRDI portal
The following pages link to Alberto L. Sangiovanni-Vincentelli (Q1020553):
Displaying 50 items.
- (Q698103) (redirect page) (← links)
- (Q1068726) (redirect page) (← links)
- (Q1161481) (redirect page) (← links)
- Formula-dependent equivalence for compositional CTL model checking (Q698104) (← links)
- Compositionally progressive solutions of synchronous FSM equations (Q1020554) (← links)
- Enhanced methods for feasible directions for engineering design problems (Q1068727) (← links)
- Computer-aided design via optimization: A review (Q1161482) (← links)
- An iterative approach to verification of real-time systems (Q1346652) (← links)
- Individual cylinder characteristic estimation for a spark injection engine (Q1398390) (← links)
- A case study in embedded systems design: An engine control unit (Q1859160) (← links)
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- The design of dynamical observers for hybrid systems: theory and application to an automotive control problem (Q2445155) (← links)
- A framework for modeling the distributed deployment of synchronous designs (Q2505631) (← links)
- Hybrid control of networked embedded systems (Q2512007) (← links)
- A theoretical framework for simulated annealing (Q2638941) (← links)
- Refinement preserving approximations for the design and verification of heterogeneous systems (Q2642667) (← links)
- (Q2716055) (← links)
- Hybrid control of force transients for multi-point injection engines (Q2716786) (← links)
- Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications (Q2988959) (← links)
- Relaxation-Based Electrical Simulation (Q3040395) (← links)
- (Q3081633) (← links)
- The Unknown Component Problem (Q3114245) (← links)
- Bipartite graphs and an optimal bordered triangular form of a matrix (Q3206315) (← links)
- Homogeneous Semantics Preserving Deployments of Heterogeneous Networks of Embedded Systems (Q3436194) (← links)
- Hybrid systems in automotive electronics design (Q3442635) (← links)
- Approximating Behaviors in Embedded System Design (Q3507398) (← links)
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (Q3523098) (← links)
- A hybrid feedback for a benchmark problem of idle speed control (Q3552357) (← links)
- Solution of piecewise-linear ordinary differential equations using waveform relaxation and laplace transforms (Q3660822) (← links)
- (Q3666401) (← links)
- (Q3680754) (← links)
- Convergence and finite-time behavior of simulated annealing (Q3740757) (← links)
- A multilevel Newton algorithm with macromodeling and latency for the analysis of large-scale nonlinear circuits in the time domain (Q3855110) (← links)
- Theoretical and computational aspects of the optimal design centering, tolerancing, and tuning problem (Q3861181) (← links)
- (Q3916453) (← links)
- Diagnosability of nonlinear circuits and systems-Part I: The dc case (Q3918057) (← links)
- Diagnosability of nonlinear circuits and systems-Part II: Dynamical systems (Q3918058) (← links)
- Diagnosability of Nonlinear Circuits and Systems—Part I: The dc Case (Q3921156) (← links)
- Diagnosability of Nonlinear Circuits and Systems—Part II: Dynamical Systems (Q3921157) (← links)
- Characterization of integration algorithms for the timing analysis of mos vlsi circuits (Q3954754) (← links)
- (Q3965185) (← links)
- (Q3966682) (← links)
- (Q3997058) (← links)
- A note on bipartite graphs and pivot selection in sparse matrices (Q4113315) (← links)
- A two levels algorithm for tearing (Q4113334) (← links)
- (Q4127878) (← links)
- A graph theoretical interpretation of nonsymmetric permutation on sparse matrices (Q4132146) (← links)
- An efficient heuristic cluster algorithm for tearing large-scale networks (Q4145276) (← links)
- (Q4153626) (← links)
- A new shortest path updating algorithm (Q4174636) (← links)
- Via assignment problem in multilayer printed circuit board (Q4178942) (← links)
- (Q4189381) (← links)
