UPPAAL에서 두 플립 플롭의 시간 모델을 모델링했습니다. 몇 가지 속성을 확인하려고했는데 6M 상태에 도달했고 노트북이 RAM에서 빠져 나왔습니다. 약 5Go가 소비되었고 누군가가 무엇을 말할 수 있습니까? UPPAAL이 처리 할 수있는 대략적인 주 번호입니까? UPPAAL에서 주 폭발을 다루기위한 가능한 기술은 무엇입니까? 당신에게
MARSS Userguide에는 매개 변수에 선형 제한을 적용 할 수 있으며 이론적 인 예가 나와 있습니다. 실용 사례를 원합니다. 내 문제는 다음과 같은 선형 제한을 구현하는 방법을 모른다는 것입니다. a b
c 2*a
"2 * a"문자열을 사용해야합니까? 계수의 이름으로 간주되지 않을까요?
RK4 코드를 검증하고 동일한 시스템을 해결할 상태 공간 모델을 얻으려고합니다. 나는 초기 조건을 가진 14 가지 상태 시스템을 가지고 있지만, 조건은 시간에 따라 변한다 (각 반복). 나는 A, B, C, D 행렬을 공식화하려고 노력하고 있으며 전체 기간 동안 내 모든 상태에 대한 결과를 컴파일하기 위해 sys과 lsim을 사용합니다. 나는 비슷한이에 일
초기 시스템 출력을 사용하여 lsim 명령에 사용하기 위해 2 차 순서의 표현식 공간 표현의 초기 조건 x0을 계산하려고합니다. 있다). 나는 1 차에 대한 초기 조건은 다음과 같습니다 알고 : (SYS는 상태 공간 벡터를 포함) x0 = (y(1) - sys.d*u(1))*pinv(sys.c);
문제 그가 두 번째 주문은 X0이 벡터 x0 = [x(1
나는 단순한 Markovian 상태 공간 모델을 작성하려고합니다. 이름에서 반복적으로 다음 상태를 예측하는 한 걸음을 되돌아 볼 것을 제안합니다. 여기에 MWE가 있어야합니다. 비록 내가 아래의 코드에 (recur ...)을 어떻게 배치해야하는지 알 수 없기 때문에 아닙니다. ;; helper function
(defn dur-call
[S D]
저는 python을 사용하여 시스템에 대한 상태 공간 모델을 얻으려고합니다. 나는 실제 시스템을 테스트 했으므로 그 입력을 가지고 출력을 측정했다. 그래서 나는 대응하는 입력과 출력의 세트를 가지고있다. 어딘가에 파이썬 용으로 함수를 제공 할 수 있습니다. 그러면 함수가 시스템의 입력 및 출력 집합과 함께 시스템을 나타내는 상태 공간 모델을 제공하게됩니까?
내가 일하고있는 시스템에서 일부 제어 분석을 수행하기 위해 Matlab과 협력하고 있습니다. 나는 상태 공간 표현에서 시스템의 모델을 개발했고 내가 원하는 폐 루프 응답을 생성하기 위해 피드백 보상기를 설계했다. Matlab place() 함수를 사용하여 피드백 게인 K와 추정기 이득 L을 선택하는 방법은 동일한 위치의 RHP에서 한 극점과 영점을 나타내는
칼만 필터에 대한 질문이 있습니다. I는 다음과 같은 상태 공간 모델 칼만 필터를 사용하고 : 상태 공간 행렬 (A(k),B(k),C(k),D(k)) 각 샘플링 시간이지만 Q 및 R 행렬에 업데이트 X(k+1) = A(k)x(k)+B(k)u(k)+w(k), w(k) ∼ N(0,Q)
Y(k) = C(K)x(k)+D(k)u(k)+v(k), v(k) ∼ N(0
equationsToMatrix 함수를 사용하여 거꾸로 된 (1 피스) 진자의 상태 공간 모델을 찾으려고합니다. 나는 다음과 같은 코드를 사용하고 있습니다 : Error using sym.getEqnsVars >checkVariables (line 92) The second argument must be a vector of symbolic variable