Extension of set-based inference mechanism for predicate logic design constraints with an application to automotive power window design
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2000. === Includes bibliographical references (p. 138-139). === by Amit Vishwanath Seshan. === S.M.
Main Author: | Seshan, Amit Vishwanath, 1976- |
---|---|
Other Authors: | William W. Finch. |
Format: | Others |
Language: | English |
Published: |
Massachusetts Institute of Technology
2014
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/89277 |
Similar Items
-
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
by: Ivanov Ievgen, et al.
Published: (2018-07-01) -
The design of integrator with symbolic computation via predicate logic language
by: WU, GUO-GING, et al.
Published: (1986) -
Fibrations, logical predicates and indeterminates
by: Hermida, Claudio Alberto
Published: (1993) -
Existence and Predication in Free Logics
by: Kubiszeski Guilherme
Published: (2017-10-01) -
Design of Anti-Pinch System in Automotive Electric Window
by: Lin, Ping-Hao, et al.
Published: (2016)